DifferentArities.err

DifferentArities.agda:9,1-10,26
The number of arguments in the defining equations differ
when checking the definition of f