implement the monadic bind function, `(monad<a>, fun<a -> monad<b>>) -> monad<b>` perhaps an infix operator for it too