sclass PairWithGlobalID<A, B> extends Pair<A, B> {
  !include #1025833 // IHasGlobalID
  
  *() {}
  *(A *a, B *b) {}
  
  toString { ret prependGlobalID(super.toString()); }
}