Functional Programming with Bananas, Lenses, Envelopes and Barbed ...
Erik Meijer, Maarten Fokkinga, Ross Paterson