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