[Haskell-beginners] Enum for natural numbers

[Daniel Fischer]

Am Montag 21 Dezember 2009 21:02:06 schrieb kane96 at gmx.de:
> > your type is
> > data Nat = S Nat | Z
> > and not
> > data Nat = 1 + Nat | 0
>
> Do I have to use something like fromEnum (S Z)? Or or the iteration wrong?

Which operation on Nat corresponds to (1 +) on Int[eger] ?