Type-checked proof that a key exists in a container and can be safely indexed.
Primary LanguageHaskellMIT LicenseMIT