Got rid of Arg type now that we don't have epsilons