@hackage justified-containers0.1.1.1

Keyed container types with type-checked proofs of key presence.

This package contains wrappers around standard container types, that provide guarantees about the presence of keys within the container.