static transformable record Input<A>(O input) {
}