AppliedType can roundtrip