refined-containers-0.1.0.0: Type-checked proof that a key exists in a container and can be safely indexed.