Last paragraph:
"... a sort function that takes advantage OF the Ordered trait."

FIXED

"Because the result type of a Function1 is defined as covariant, the
inheritance relationship of the two result types, shown at the right of
the diagram, is in the same direction as that of the two [function types]
shown in the center. By contrast, because the parameter type of a
Function1 is defined as contravariant, the inheritance relationship of
the two parameter types, shown at the left of the diagram, is in the
opposite direction as that of the two [function types]."