static <A> A Value<A> value(A a) {
  ret new Value<A>(a);
}