it's probably also a matter of taste but the thing...

# atrium

[robstoll]

it's probably also a matter of taste but the thing is, if you change the comparator and the other comparator behaves the same (but say is more efficient) then there is no reason that you need to rewrite your spec. If you assert that it is the correct instance, then you have to rewrite the spec