static <A> Pair<A, Bool> pairWithTrue(A a) {
  ret new Pair(a, true);
}