Added `Monoid` instance for `Proxy`
Generalized type of `runListT`