~{fieldName f} :: ~{hsFieldType f}