@@ -45,6 +45,16 @@ public
4545bitsToMod : Bits n -> Mod2 n
4646bitsToMod x = MkMod2 x
4747
48+instance Eq (Mod2 n) where
49+ (MkMod2 x) == (MkMod2 y) = x == y
50+
51+instance Ord (Mod2 n) where
52+ (MkMod2 x) > (MkMod2 y) = x > y
53+ (MkMod2 x) >= (MkMod2 y) = x > y
54+ (MkMod2 x) <= (MkMod2 y) = x > y
55+ (MkMod2 x) < (MkMod2 y) = x > y
56+ compare (MkMod2 x) (MkMod2 y) = compare x y
57+
4858instance Num (Mod2 n) where
4959 (+) = modAdd
5060 (-) = modSub