Just re-reading this chat log, we both got way off track.

The point is that my current uses of lens-join/list could easily be re-written to use an isomorphism composed with your different (safer) version of lens-join/list. That’s good news.