{-# htermination liftM3 :: Monad m => (a -> b -> c -> d) -> (m a -> m b -> m c -> m d) #-}
import Monad