What if the type arguments were explicitly specified by the user?