[Haskell-cafe] Can someone explain this typing restriction?

[Gerrit van den Geest]

Tim Walkenhorst wrote:
>
>>> I had a feeling this was discussed in "Typing Haskell in Haskell" by 
>>> Mark Jones, but after a quick skim I can't find it again (I thought 
>>> it would be
>>> in Section 11.6 of his paper).   
>>
>> It is, on page 35 (section 11.6.3) of "Typing Haskell in Haskell" by 
>> Mark Jones.
>>
> Now you got me hooked. Where can I find his paper? The link in the 
> Haskell-wiki[1] seems to be dead...

I don't know, I've encountered the same problems. Fortunately I have a 
printed version on my desk.

Gerrit