Control.Categorical.Bifunctor
class PFunctor p r t
class QFunctor q s t
class Bifunctor p r s t
dimap
difirst