Question: What are type lambdas in Scala and what are their benefits?