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