Lift an instance of At using an Iso.
Return
At to provide Lens for structure S with focus in A at given index I
Parameters
At that can provide Lens for a structure U with a focus in A with given index I.
Iso that defines an isomorphism between S and U