Class PositiveFluent<A extends PositiveFluent<A>>