Description
A Haskell library for dependent finite maps, also described as partial dependent products. It lets keys carry type information that determines the type of the value stored with each key.
Developers use it in strongly typed registries, event systems, interpreters, and APIs where heterogeneous values need safer lookup. The benefit is keeping key and value types connected at compile time.