Refined generic type names.