I am not sure this is correct. The type information is part of the PatternDescr. Generics are part of the type information, so should be handled in there...