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:[EMAIL PROTECTED] _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
