fay-0.24.2.0: tests/GADTs_without_records.res

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