Arie Peterson writes:
> Is there a good reason that partially applied type synonyms cannot be made
> instances of classes?

 http://www.haskell.org/pipermail/glasgow-haskell-users/2005-April/008340.html

Does anyone here know (as SPJ's response is quite a few years old) if
there's been made any progress since back then?