Reading about Existentially quantified types. #haskell