partially applied type synonyms

[Brandon Allbery]

On Mon, Mar 5, 2012 at 06:55, Herbert Valerio Riedel <hvr at gnu.org> wrote:

> 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?
>

I'm pretty sure it's just as undecidable now as it was then.

-- 
brandon s allbery                                      allbery.b at gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120305/79cbb821/attachment.htm>