I think this will fail to compile because of the undeclared `U` type parameter.