Logic fix in parameterised types in CLS