renaming of type parameter