Qualified Pervasives.compare, because when the annotated type name
is just 't' the comparison function is named 'compare' and captures
what should be Pervasives.compare in its body. We need hygiene.