static transformable record Not<A>(A a) {}