Re: [Haskell-cafe] Functional dependencies and Peano numbers