the other thing I'm noticing in the docs that I think is counterproductive is the use of single-letter abbreviations, e.g.

An

Iso

is a lossless invertible optic that defines an isomorphism between a type

S

and

A

like maybe single-character variable names were useful in maths class when writing in chalk on the board? but I think as programmers we've realized we can do better with keyboards.