Document profunctor-lens usage?

[jamesdbrock]

trafficstars

https://pursuit.purescript.org/packages/purescript-profunctor-lenses/

[jamesdbrock]

To support profunctor-lenses, what we would want to do is to code-generate a lens for each field name.

https://thomashoneyman.com/articles/practical-profunctor-lenses-optics/#lenses

-- This lens focuses on the "name" field of a record; we have to construct
-- this one ourselves.
_name :: forall a r. Lens' { name :: a | r } a
_name = prop (SProxy :: SProxy "name")