Parameter TrivialOrderedType.T