revisit `monad.bind` type parameters

[fridis]

Currently, there is no monad.bind. There is a outcome.bind, but this a monad.infix >>=~, but this is not implemented by monads like outcome and it has some drawbacks: the type parameter MB is not constraint by monad and due to poor type inference (#3812), this cannot be used as an infix operator.