Provides representation and identification of definite types based on generic or non-generic classes.