Type safe deep update: could be instantiated with an arbitrary type which could be unrelated

Question

Is there any way to remove the as any in the update_substate function? It\'s type safe when invoking the update_state function directly so indirectly