Code samples accompanying the Essential Scalaz supplement dealing with free monoids and free monads.