A technique invented by Phil Wadler for eliminating intermediate data structures built and passed between composed functions in function languages.