We don't explain .and_then(..), .ok(..), .map(...) and friends.

We go into a lot of detail on Iterators, so going into detail here seems like it would also be useful.