interface M where
class (ORD a, Text a) => EQ a where (===) :: a -> a -> Bool
class (Num a) => ORD a
data NUM = ONE | TWO