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