Class NegativeFluent<A extends NegativeFluent<A>>