Allow some functions to be defined on types as well as instances of the types.