Existential types are kind of like OO interfaces (allow storing a collection of things that only have in common that they implement the interface), and typeable

Existential types are kind of like OO interfaces (allow storing a collection of things that only have in common that they implement the interface), and typeable can be used for casting them back to their base types.