[eru]

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