Report question

Question: Haskell existential quantification in detail