Class EnvFromFluent<A extends EnvFromFluent<A>>