Type transformations for generics
Test redefinition.