[eru]

Well, it only needs to be a functor (in the Haskell sense) for map to make sense.

(Of course, all monads are also functors.)