[Haskell] GADT: call for proper terminology

[Bulat Ziganshin]

Hello oleg,

Wednesday, October 11, 2006, 6:12:23 AM, you wrote:

>> Annotate the data type using a GADT:
>> data MyData a where
>>  MyCon :: MyData a

> It helps to reduce confusion about the merits of various features and
> additions to Haskell if we use the term GADT exclusively for truly
> _generalized_ algebraic data types.

imho, the error was inventing new syntax for GADTs instead of just adding
type guards to the old one



-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com