This is a discussion that led to the proposal #47649. This proposal is for use with #43651. We propose defining a new package, maps, that will provide functions that may be used with maps of any ty...