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