[edflsafoiewq]

Rather than monads, map is more likely to be familiar from sequences, and an optional is just a sequence with length < 2.

[eru]

Well, monads get their map from functors, and they call it 'map' (or fmap) because of map on sequences.