f :: Monad m => (m a, b1) -> m b2