PartialRecordSel now passes
PartialRecordSel now passes

because we now use error with `Default`, and `bool` has a Default. Not
sure if that matches what this test case is about, but oh well.

antalsz/hs-to-coq,antalsz/hs-to-coq