insert module:Data.Set -package:nonempty-containers -package:hgeometry-combinatorial
Insert an element in a set. If the set already contains
an element equal to the given value, it is replaced with the new
value.
Insert a new key and value in the map.