John Hannan Patrick Hicks Higher-Order Arity Raising. 27-38 1998 ICFP http://doi.acm.org/10.1145/289423.289426 db/conf/icfp/icfp98.html#HannanH98