{-# htermination liftM2 :: (a -> b -> c) -> (Maybe a -> Maybe b -> Maybe c) #-} import Monad