Report question

Question: Distinction between type aliases and type lambdas