3 ms·
All Monads are, in theory if not in practice, Functors (there happens to be an instance of Functor defined for Maybe). fmap is not a functor but an arrow, in th
by johnbender 16y ago
All Monads are, in theory if not in practice, Functors (there happens to be an instance of Functor defined for Maybe). fmap is not a functor but an arrow, in this case a function, that lifts f into the context of the Functor.
- tkahn6 16y agoWould something like lift f = (return . f) Be a functor? [Edit: It says on Wikipedia that a functor maps a function in one category to a function in another category]