static transformable record Input<A>(A a) implements IInput<A> {
  public A get() { ret a; }
}