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