Re: GADTs

On 11.08 23:25, Ian Lynagh wrote:
> If you have any objections or comments then please let me know;
> otherwise I think it would be great to get this into GHC 6.6.

Why not simple represent all data declarations as GADT to the user?
Generally TH code should not care between:

data Foo = Foo Int and 
data Foo where Foo :: Int -> Foo

data B = forall Show x. B x and 
data B where B :: Show a => a -> B

But any way to support GADTs would be better than the current
situation.

- Einar Karttunen