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