The purpose of type sets is to permit generic functions to use operators, such as <, with values whose type is a type parameter.

only operators allowed, methods not included.