Consider switching to microlens or overloaded dot syntax?

Hi,

I saw that `lsp` has a dependency on `lens`, which is a fairly large dependency.
Would it be possible to swap it out for an alternative such as overloaded dot syntax or `microlens`?
I'm asking this because my compiler's build time almost doubled just including this library.

Are there any things blocking this? Or is there another reason behind it?

Start by locating the lsp dependency declaration and reviewing where lens is used. Compare those uses with the proposed overloaded dot syntax or microlens alternatives, then verify that the dependency can be removed without changing behavior or worsening build-time concerns.

Written by the indexing model from the issue text.