Peano-Zahlen

data N = Z | S N

Implementieren Sie für Peano-Zahlen:

• Addition, Multiplikation, Potenz

Beweisen Sie :

• Assoziativität, Kommutatitivität, ...