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