srecord Value<A>(A value) implements IF0<A> {
  public A get() { ret value; }
}