This is a map that uses structural equality on the key.
type Map[K: (Hashable #read & Equatable[K] #read), V: V] is HashMap[K, V, HashEq[K] val] ref