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