Re: [Haskell-cafe] Ratification for my understanding of functors

Yes, the combination of the type constructor (mapping from types/objects to types/objects) and the fmap instance (mapping from functions/arrows to functions/arrows) together constitute the functor. Saying "list is a functor" is a common sloppiness just like saying "list is a monad".

Thanks Wren and Eugene. Regards, Kashyap