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