I cringed a little when, in the example of fmap (+3) (Just 2), they call (Just 2) a functor. After just having explained that a functor is a typeclass. So Maybe is a functor, but it feels weird to call values of type (Maybe a) functors as well.
Monad tutorials often avoid this problem by talking about monadic values, so perhaps in this example it could be called a functoric value?!
Monad tutorials often avoid this problem by talking about monadic values, so perhaps in this example it could be called a functoric value?!