How Labelled HLists enable lens-like functionality with Path and writing structurally-typed functions that work with your normal everyday #rustlang structs.
Actually wrote this a while back but never shared on Mastodon.
https://beachape.com/blog/2021/05/25/structural-typing-in-rust