The compiler maintains information about all type classes in an environment that maps type classes to a list of their direct superclasses and all their associated class methods with an additional boolean flag stating whether an default implementation has been provided or not. For both the type class identifier and the list of super classes original names are used. Thus, the use of a flat environment is sufficient.