static S addToMechHashMap(S listName, SS map) {
  // TODO: honor list format
  ret botAppendToMechList_uniq(listName, formatDoubleArrowMap(map));
}