{-# htermination liftM5 :: (a -> b -> c -> d -> e -> f) -> (Maybe a -> Maybe b -> Maybe c -> Maybe d -> Maybe e -> Maybe f) #-}
import Monad