curious if there would be any benefits to having the compiler generate

Type

,

ParameterizedType

,

WildcardType

, etc implementations instead. could probably cut down on the number of anonymous classes generated over the other way, by consolidating them