Control.Functor.Zap
class Zap f g
class Bizap p q