@@ -1,4 +1,4 @@
-data Nat = Zero | Succ Nat
+data Nat = Zero | Succ Nat deriving Show
intValOf thisNat = case thisNat of
Zero -> 0