Agreed. Sometimes I wonder how ergonomic that could be in a profunctor/arrow-based language, since lenses are basically profunctor transformers.