static RT eval(Env const& env, A0& _0, A1& _1) { return new T(_0.eval(env), _1.eval(env)); }
static RT eval(Env const& env, A0& _0) { return new T(_0.eval(env)); }