data Bool = False | True    deriving (Eq, Ord, Enum, Read, Show, Bounded)