Data.Functor.Bind.Trans
class
BindTrans
t