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