Review of basic application of category theory for functional programming. Recursion schemes are combinators that let you write point-free recursions.
