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