Recursion Schemes for Higher Algebras Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Monads, Programming [4] Comments Abstract The use of free monads, free applicatives, and cofree comonads lets us separate the construction of (often effectful or context-dependent) computations from their interpretation. In this paper I show how the ad hoc process of writing int