term does not evaluate to a function taking 1 arguments

Version imprimable