partially applied type synonyms

Brandon Allbery allbery.b at
Mon Mar 5 13:05:15 CET 2012

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

> Arie Peterson writes:
> > Is there a good reason that partially applied type synonyms cannot be
> made
> > instances of classes?
> 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
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list