While reading through the Lens over Tea #1 article, I found the united
lens. My implementation is
united :: Lens' a ()
united f v = const v <$> f ()
which is pretty much the same as the implementation in the Lens library.
What leaves me completely baffled is why would I want a function like this in the first place? Are there any uses of this lens?