I have some classes with methods that are generated by data. These classes are available to a user, and I want type checking at compile time. So if a user doesn\'t implement