15 Apr
2010
15 Apr
'10
9:30 a.m.
With GADTs, the specific choice of constructor is what gives you the type matching functionality.
My intention was to use a GADT as data family instance (hence, I wrote it in GADT style and it was accepted as such). Can't GADTs be used as data family instances? Sebastian -- Underestimating the novelty of the future is a time-honored tradition. (D.G.)