What steps will reproduce the problem? 1. write a function that returns another function (ST action?) 2. application of this generates code javac complains about 3. workaround is to epsilon extend the function

What is the expected output? What do you see instead?

No errors, javac errors

More information will follow as soon as I can isolate the error.

There is a bug in GenJava.instSym: When an instantiated function must be coerced, the whole instantiated type is taken, regardless of the actual arity of the instantiated function. A fix will be provided soon.

fixed with r178