## How to do existential quantification with GADT?

I have the following data type:
{-# LANGUAGE ExistentialQuantification #-}
data ExType = forall a. One a | forall a. Two a | forall a. Three a
With that I am able to create heterogeneous lists:
[One 3, Two "hello", One 'G']
I have been told tha...

more
»