Re: [Haskell-cafe] Functional Dependencies and multiparameter typeclasses