{-# htermination enumFromThen :: Char -> Char -> [Char] #-}