[Template-haskell] Re: template haskell (reify bug and existentials)

[Keean Schupke]

Great! You have no idea how much I have been confusing people by
using local universal quantification to stand for existential 
quantification...

    Regards,
    Keean.

Ian Lynagh wrote:

>On Sat, Oct 30, 2004 at 03:01:02PM +0100, Keean Schupke wrote:
>  
>
>>Re: my two earlier postings:
>>
>>1) existentials in data declarations. I have a project which needs this,
>>   Simon PJ thought it was fairly easy to put in and suggested that Ian
>>   Lynagh might implement it. Do I need to persuade people further?
>>    
>>
>
>No - I've just got back from a conference with poor 'net access, so have
>only just read your original message. I should get to this RSN.
>
>
>Thanks
>Ian
>
>  
>