[Haskell-cafe] Induction (help!)

[Andrew Coppin]

PR Stanley wrote:
> add Zero n = n

So this function takes the left argument, and replaces Zero with n. Well 
if n = Zero, this clearly leaves the left argument unchanged...