modify the focus type of an IndexedSetter using a function, resulting in a change of type to the full structure
set the modified focus of an IndexedSetter