Weakened partial isomorphisms that work with lenses.
git clone https://git.iko.soy/semi-iso.git
There is no readme on master. See the files.