scalaz.Enum
f1 < f2 means f2 > f1, and so on.
order yields a total order, in the mathematical sense.
order