@@ -57,7 +57,7 @@ instance (Eq a, Eq b) => Eq (a, b) where
59-- ---------------------------------------------------------- [ Ordering Class ]
59-- ---------------------------------------------------------- [ Ordering Class ]
60−data Ordering = LT | EQ | GT
60+%elim data Ordering = LT | EQ | GT
62instance Eq Ordering where
62instance Eq Ordering where
63 LT == LT = True
63 LT == LT = True