See this.
This function is can be super handy when writing lens combinators.
Cool, have you tried an implementation?
Not quite yet, there are a few Lensy things I want to knock out 1st. I'll probably give it a try later today.