1. A method for generic type reification, the method comprising: determining, based on the usage of a first object at run time, a first actual type argument of a generic type of which the first object is an instance; generating data that indicates the first actual type argument; and establishing an association between the first object and the data.