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