It's not hard, no. Ian Lynagh is usually kind enough to do the honours! Simon | -----Original Message----- | From: template-haskell-bounces@haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Keean Schupke | Sent: 26 October 2004 11:19 | To: template-haskell@haskell.org | Subject: [Template-haskell] Existentials | | 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. | _______________________________________________ | template-haskell mailing list | template-haskell@haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell