Control.Functor
class PFunctor p r t
class QFunctor q s t
class Bifunctor p r s t