Agda-2.3.2.2: test/fail/MissingWithClauses.err

MissingWithClauses.agda:6,1-2
Missing with-clauses for function f