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