GADT record syntax and contexts

John Lato jwlato at gmail.com
Wed Jun 17 06:48:35 EDT 2009


>From the perspective of someone who doesn't use GADT's much, I find
(B) to be more clear.

John Lato

> SPJ wrote:
>
> Question for everyone:
>
>  * are (A) and (B) the only choices?
>  * do you agree (B) is best
>


More information about the Glasgow-haskell-users mailing list