instance >< UNIT where\r
(><) _ _ = Equal\r
\r
-instance >< (PAIR a b) | >< a & >< b\r
+instance >< (PAIR a b) | >< a & >< b where\r
(><) (PAIR x1 y1) (PAIR x2 y2) = case x1 >< x2 of\r
Equal = y1 >< y2\r
otherwise = x1 >< x2\r
\r
-instance >< (EITHER a b) | >< a & >< b\r
+instance >< (EITHER a b) | >< a & >< b where\r
(><) (LEFT _) (RIGHT _) = Bigger\r
(><) (RIGHT _) (LEFT _) = Smaller\r
(><) (RIGHT x) (RIGHT y) = x >< y\r
(><) (LEFT x) (LEFT y) = x >< y\r
+\r
+Start = "Hello World"\r