Control.Functor
class
PFunctor
p r t
first'
class
QFunctor
q s t
second'
class
Bifunctor
p r s t
dimap