11 Oct
2006
11 Oct
'06
7:58 a.m.
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@gmail.com