static transformable record And<A>(A a, A b) {}