Test tidied up unsolved constraint errors
Add GHCi test for OverloadedRecordFields