just `extends Arg with Stmt`