<div dir="auto">I think it's reasonable to make Arg as a writer monad with alternate ordering.</div>