I have a class hierarchy that represents the records in a database, one class for each table. I want to be able to properly type check the class objects (that represent the tab