Functor module:Data -package:barbies package:kind-apply
Poly-kinded
Functor type class.
KFunctor generalizes
functors, bifunctors, profunctors, ... by declaring a list of
Variances for a type constructor.
Declares that the type constructor f is a generalized functor
whose variances for each type argument are given by v.