static <A, B> Map<A, B> mergeMappings(Map<A, B> a, Map<A, B> b) {
  for (A var : keys(a))
    if (b.containsKey(var) && neq(a.get(var), b.get(var)))
      null; // fail
  ret mergeMaps(a, b);
}