What is the reasoning for the requirement that patterns be linear? Am I
correct to say that if non-linear patterns were allowed, it would require
equality to be defined for all data types? Is this the reason, or are there
others?
Sam Moelius