[SparklingCotton]

I've used lens for years and years, but don't fully grok it. Who cares? Lens is also like category theory, you don't need to understand the details in order to use it.

[Jeff_Brown]

More generally, trying to learn the whole language -- for almost any language -- is usually a waste of time.