Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

https://maartenfokkinga.github.io/utwente/mmf91m.pdf

一般の再帰型について畳み込み操作やその逆操作を与える