Setoid algebra

The following are the Setoid rules:

The values used in the rules are a, b, and c. A value which has an Ord must provide an lte method. The equals method is this algebra's operator and it takes one argument.

That's it. That's all there is to it!