Implement StoreHasSubmap for Set
Clarification and motivation
Taking into account that we now use StoreClass.hs
a lot and we have an optimizer, such an instance seems to be justified.
Acceptance criteria
-
instance StoreHasSubmap (Set k) name k ()
is implemented; - If not hard, ensure that using this instance occurs to be as optimal as calling plain
mem
andupdate
.