Re: [Haskell-cafe] Functional dependencies and Peano numbers (and hoogle-bug?)