Sample introduction to recursive schemes and matryoshka (Library that specializes on implementing recursion schemes on fixed-point types of recursive structures.)