Koz Ross

I would be happy to add this, but it raises an interesting problem. `ListT` generally has _two_ meanings: * 'I am a monadic stream'; and * 'I am non-determinism of...

@andreasabel I mostly tagged you as a reviewer because you suggested/requested some tests. Was this what you had in mind? I started with `MonadAccum` for two reasons: it's one of...

@andreabedini I'm very happy that someone has undertaken this: it looks great! However, we need to ensure that this passes CI, and it currently fails on macOS. I also suspect...

@andreabedini If you want something that's more general, you can follow my [`text-ascii` setup](https://github.com/haskell-text/text-ascii/blob/main/.github/workflows/haskell.yml). It should work everywhere.

I'm _really_ torn about this. On the one hand, you are absolutely right, but on the other hand, I feel this is basically relegating other platforms to second-class status in...

@andreabedini That would be ideal, yes.

I'm definitely keen on making this happen, but this requires a major version bump. Once we land 2.3.1, I'm sure @emilypi wouldn't object to this change.

`MonadAccum` would need to gain `MonadAsk` and `MonadTell` superclass constraints. I also feel we need to nail down precise laws, and restrict down some instances: for example, `ContT r' (Reader...

Also, does it make sense to crack `MonadError` into `MonadThrow` and `MonadCatch`, paralleling the design choices for exception-chucking classes?

With regard to a proper `ListT`, in order for this to 'belong' sensibly in this package, we need something like `MonadChoice` or `MonadNonDet` (I favour the latter). The best design...