Existentials

Keean Schupke <[email protected]>
Newsgroups gmane.comp.lang.haskell.template
Message-ID <[email protected]> 
Hi, any chance of support for existential datatypes in
template-haskell... It currently supports local universal
quantification:

    data A = A (forall a . a)

but not existental:

    data A = forall a . A a

Is this hard to add? It would be really useful to me if TH
did support existentials...

    Regards,
    Keean.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.