@@ -124,6 +124,13 @@ instance Ord String where
127+instance Ord Bool where
128+ compare True True = EQ
129+ compare False False = EQ
130+ compare False True = LT
131+ compare True False = GT
127instance (Ord a, Ord b) => Ord (a, b) where
134instance (Ord a, Ord b) => Ord (a, b) where
128 compare (xl, xr) (yl, yr) =
135 compare (xl, xr) (yl, yr) =
129 if xl /= yl
136 if xl /= yl