Build an optic from a forward and a backward. A 2-arg put(b, a) reads the source; a 1-arg put(b) reconstructs it (and is treated as an iso).
put(b, a)
put(b)
iso
Build an optic from a forward and a backward. A 2-arg
put(b, a)reads the source; a 1-argput(b)reconstructs it (and is treated as aniso).