Class TypeCheckingFluent<A extends TypeCheckingFluent<A>>