Rewrite 'Parametric types manipulation'