asclass HasKey<A> {
  gettable A key;
  
  *() {}
  *(A *key) {}
  
  toString { ret "key " + key; }
}