Monad/bind.kind