static <A, B> Pair<A, B> withTrailToPair(WithTrail<A, B> a) {
  ret a == null ? null : pair(a!, a.trail);
}