f :: Monad m => (m a, t) -> m b