@@ -49,7 +49,7 @@ power base (S exp) = mult base $ power base exp
4949--------------------------------------------------------------------------------
5050
5151instance Eq Nat where
52− Z == Z = True
52+ O == O = True
5353 (S l) == (S r) = l == r
5454 _ == _ = False
5555