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