I think it's reasonable to make Arg as a writer monad with alternate ordering.