HaskellCourse/peano.hs

data Nat = Zero | Succ Nat

intValOf thisNat = case thisNat of
	Zero -> 0
	Succ nextNat -> 1 + intValOf nextNat