greaterOrEqual

An instance for testing whether a ≥ b.