"~{fn}" := x.~{fieldName f}