Lift an instance of Index using an Iso.
Index for a structure S to focus in an optional A at a given index I
Index instance to provide a Optional to focus into S at I
Iso that defines an isomorphism between a type S and A