Report question

Question: Lambda for type expressions in Haskell?