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