Re: GADT record syntax and contexts

Philip Hölzenspies wrote:

(A) data RecContTest a where Show a => C { showable :: a } :: RecContTest a

(B) data RecContTest a where C :: Show a => { showable :: a } -> RecContTest a

I like (B) better too, for any GADT record syntax... its meaning seems less confusing to me than the current(?) (A) syntax. -Isaac