Name: Anonymous 2013-07-29 17:30
What is the difference between an endofunctor and a functor?
Functors are endofunctors, because they map Haskell types and functions to new Haskell types and functions. For example, Maybe : Hask → Hask maps each type a to Maybe a, and each function a -> b to a function Maybe a -> Maybe b. (How this is done is exactly what the definition of fmap tells you.)