Duncan Coutts <duncan.coutts <at> googlemail.com> writes: > This could in principle be fixed with an arity raising transformation, Do you have a reference to arity raising transformations? Thanks, Dominic.