{-# htermination enumFrom :: Enum a => a -> [a] #-}