the other thing I'm noticing in the docs that I th...

# arrow

[keturn]

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.