{-# htermination liftM :: (a -> b) -> ([] a -> [] b) #-}
import Monad