Allowing each record to be adapted before an equality comparison

Should that function really be A to A or should it be more general A to B?