recursion-schemes

I have heard the term “coalgebras” several times in functional programming and PLT circles, especially when the discussion is about objects, comonads, lenses, and such. Googling this term gives...