Control.Dyad
class
CDyad
w m (~>)
data
DiKleisli
w m (~>) a b