sclass HasKeyMap<A, B extends HasKey<A>> /*extends AbstractMap<A, B>*/ {
  new Map<A, B> map;
  
  *() {}
  *(Map<A, B> map) { putAll(this.map, map); }
}