Description
Provides the existential type Some for Haskell. Existential wrappers let code store values whose exact type is hidden while preserving evidence about what can be done with them.
It is useful for typed collections, plugin systems, generic programming, and APIs that need heterogeneous values with controlled operations. It is an advanced developer library and has no standalone interface.