Binding multiple arguments

Question

In Haskell, there is:

(>>=) :: Monad m => m a -> (a -> m b) -> m b

Is there a function:(?)

bind2 :: Monad m => m a -> m b -> (a -> b -> m c) -> m c

Answer 1

This is what do notation is meant for.

bind2 :: (Monad m) => m a -> m b -> (a -> b -> m c) -> m c
bind2 ma mb f = do
  a <- ma
  b <- mb
  f a b

It's so simple that I probably wouldn't even define an extra operator for it, rather I'd just use do notation directly.

Answer 2

Not quite, but you could use

bind2 :: Monad m => m a -> m b -> (a -> b -> m c) -> m c
bind2 x y f = join $ liftM2 f x y