lessOrEqual

An instance for testing whether a ≤ b.