Contravariants
Normal functors in Haskell are pretty easy to understand:   class Functor f where   fmap :: (a -&gt;...
Tags: haskell, types, functional