[monad.green] changed: use returned monad's bind instead of type's one