normalized type parameters