static <A> TreeMap<S, A> caseInsensitiveMap() {
  ret new TreeMap(String.CASE_INSENSITIVE_ORDER);
}