{-# htermination enumFrom :: Int -> [Int] #-}