("Grail") General Recursive Applicative and AlgorIThmic Language. FP wITh polyadic combinators. "Graal: A Functional Programming System wITh Uncurryfied Combinators and ITs Reduction Machine", P. Bellot in ESOP 86, G. Goos ed, LNCS 213, Springer 1986.