{-# htermination liftM :: Monad m => (a -> b) -> (m a -> m b) #-} import Monad