<https://arrow-kt.io/docs/optics/dsl/#at>
# arrow