I'd like to use TH to find what classes a type is an instance of, or alternatively all known instances of a class. As far as I can tell this is not yet possible. How hard would it be to implement? I'd like to help out, but it would be nice to have some idea of where to start. Any tips? Thanks Salil