Left-to-right bias in type checking GADT functions

[Stefan Holdermans]

Simon,

> Yes, it's quite deliberate.  See 5.4 of
> 	
> http://research.microsoft.com/%7Esimonpj/papers/gadt/gadt-icfp.pdf
> The alternative design choice is to reject both programs, but in  
> Haskell
> (because of laziness) the evaluation order is prescribed, so accepting
> the former seems right.

Yes, I've read it now and your point is clear. Thank you.

Regards,

   Stefan