Manuel M T Chakravarty chak at
Wed Feb 1 21:37:58 EST 2006

Ross Paterson:
> As I read it, the POPL'05 paper cited by the wiki page asserts that
> there is a problem, but does not explain what it is.  Is there a better
> reference?

I just added a slightly more detailed explanation as a subpage to


More information about the Haskell-prime mailing list