https://comonad.com/reader/2013/phoas/
PHOAS For Free ยท The Comonad Reader
Back in 2008 I wrote an article entitled "Rotten Bananas" about how to convert between the different forms of catamorphisms over "exponential" data types that...
for freephoascomonadreader