@hackage / justified-containers

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

0.3.0.0

Version history