Advanced Scala Chapters: Generics of Higher Kind