static <A> WithTrail<A, O> withTrail(A value) {
  ret WithTrail(value);
}

static <A, B> WithTrail<A, B> withTrail(B trail, A value) {
  ret WithTrail(trail, value);
}