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