https://barq-rs.com/en/removing-name-existential-map/
Removing the name of the other from the existential map