add a logging example, a typeclass example and a type-level HList example