static Map<A, B> Map<A, B> intersectionOfTwoMaps(Map<A, B> map1, Map<A, B> map2) {
  Map<A, B> out = similarEmptyMap(map1);
  for (A a, B b : map1)
    if (eq(map2.get(a), b))
      out.put(a, b);
  ret out;
}