~{fieldName f} :: ~{pureScriptFieldType f}