GADT record syntax and contexts

[Isaac Dupree]

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