A common type class for various map-like data structures, both pure and mutable.