[Haskell-cafe] Re: [Haskell] A puzzle and an annoying feature

Lennart Augustsson writes:

[...]

But using functional dependencies feels like a sledge hammer, and it is also not Haskell 98.

Well, I'm simply saying that your proposed extension which is not Haskell 98 can be expressed in terms of a known type class extension. I agree that something weaker than FDs would be sufficient here. Martin