Control.Functor.Zap
class
Zap
f g
(>$<)
class
Bizap
p q
(>>$<<)