Ah, that's my mistake! The generated Reason output got copy/pasted incorrectly. (It's correct if you click through to the Try Reason link.) In fact, Reason gen

Ah, that's my mistake! The generated Reason output got copy/pasted incorrectly. (It's correct if you click through to the Try Reason link.) In fact, Reason generates the `>=` comparison, and it knows it can do this because it know that a value greater than 2 can never happen. The post should be updated to reflect this in a second!