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