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