~{classFieldName c f} :: a -> ~{hsFieldType f}