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

[Martin Sulzmann]

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