static transformable record And(a, b) {}