public static UForAll create(List<UTypeVar> typeVars, UType quantifiedType) {
    return new AutoValue_UForAll(ImmutableList.copyOf(typeVars), quantifiedType);
  }
@Test
  public void serialization() {
    UType nullType = UPrimitiveType.create(TypeKind.NULL);
    UType objectType = UClassType.create("java.lang.Object", ImmutableList.<UType>of());
    UTypeVar eType = UTypeVar.create("E", nullType, objectType);
    UType listOfEType = UClassType.create("java.util.List", ImmutableList.<UType>of(eType));
    SerializableTester.reserializeAndAssert(UForAll.create(ImmutableList.of(eType), listOfEType));
  }