Effective Haskell: Error in addPeano function (p 92, pdf)

Community PragProg Customers
,
1

The addPeano function switches the arguments in the recursive call. The implementation should be:

addPeano Z b = b
addPeano (S a) b = addPeano a (S b)