Control.Categorical.Bifunctor

class PFunctor p r t

class QFunctor q s t

class Bifunctor p r s t

dimap

difirst