12345File "tests/typing/errors/over_application/pb.zf", line 4, character 5-10:4 | goal f 5 6. ^^^^^Error Over application: this application has 1 too many term arguments.
