fay-0.16.0.0: tests/GADTs_without_records.res

Expected 5: Ok
Expected 2: Ok
Expected 7: Ok
Expected 7: Ok
Expected 5: Ok