В функциональной оптике хорошо работающая призма (я полагаю, называемая частичной линзой в scala) должна иметь функцию set типа 'subpart -> 'parent -> 'parent , где, если призма «успешна» и структурно совместима с заданный аргумент 'parent...