Description
A Haskell library for dependent sum types. A dependent sum pairs a tag or key with a value whose type depends on that tag, enabling safer heterogeneous data structures.
Developers use it in typed maps, event systems, interpreters, and APIs that need values of different types under one container. It helps preserve type information that would otherwise be erased.