{-# htermination enumFromThen :: () -> () -> [()] #-}