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
ClassMethodTypes.
Manuel
