Re: [Haskell-cafe] Induction (help!)

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...