More informative SrcSpan for Has instances
Make FieldLabel a datatype, which clarifies its use and should make changes easier
Add GetResult type family to Has class, encoding the functional dependency
Support lenses and simple update
Refactor makeOverloadedRecFldInstances