Type Definition AlreadyThere
appendix
type AlreadyThere = bool;
Marker type telling you your update was a no-op