=>
application: not a procedure; expected a procedure that can be applied to arguments given: 'invalid
application: not a procedure;
expected a procedure that can be applied to arguments
given: 'invalid