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