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