Make new module FieldLabel and aggregate related things there
Flatten FldInsts and FieldLbl into one datatype
Refactor AvailFields, add flIsOverloaded to FieldLabel
Move makeOverloadedRecFldInsts to new module TcFldInsts
Tweak unsolved constraint error message
Pretty-print Has r "foo" (GetResult r "foo") as r { foo :: ... }
Comments only
Remove unnecessary check for duplicate field labels in data families
Fix GHCi record field bugs
No need to add Has/Upd DFunIds to type-env separately in boot files
Make FldParent take Maybe FieldLabelString so we know whether it is overloaded
Comments only