Functional programming with bananas, lenses, envelopes and barbed wire

Here are two resources that are recent and more tutorial, introductory and/or applied than the OP paper. https://www.fpcomplete.com/user/bartosz/understanding-algebr... http://bentnib.org/interleaving.pdf