“Here is the definition of a functor: `(a -> b)...
# functional
c
“Here is the definition of a functor:
(a -> b) -> f a -> f b
. What exactly don’t you understand, the endofunctor or the monoid part?” “Er... What do the arrows mean?”