Potential solution--we can get away with assuming a single underlying WriterT because tell is only used in the extension evs. We can already mix in a single monoid, if we wanted to do this with the underlying monoids of both a WriterT and a StateT, we'd need separate signatures for each. As implemented, this would work with any monoid that Racket considers a sequence (because of unparse).
dvanhorn
commented
8 years ago
Potential solution--we can get away with assuming a single underlying
WriterTbecausetellis only used in the extension evs. We can already mix in a single monoid, if we wanted to do this with the underlying monoids of both aWriterTand aStateT, we'd need separate signatures for each. As implemented, this would work with any monoid that Racket considers a sequence (because ofunparse).