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