"Parameterized Types" fully verified