Existential types as a library