Type-checked proof that a key exists in a container and can be safely indexed.
git clone https://git.iko.soy/typeable/refined-containers.git
There is no readme on main. See the files.