Creates a schema for baseClass by inference and uses it as the base schema.
The class of U
Converts a T to a U
The schema for U