Advanced Scala Chapters: Type lambdas