programming A technique invented by Phil Wadler for

eliminating intermediate data structures built and passed

between composed functions in function languages.