4 Jun
2019
4 Jun
'19
8:41 a.m.
I think it's reasonable to make Arg as a writer monad with alternate ordering.