Some of the benchmarks don't have the correct scala doc, fixing those.

• https://github.com/monix/monix/blob/master/benchmarks/vnext/src/main/scala/monix/benchmarks/AsyncQueueBenchmark.scala#L41
• https://github.com/monix/monix/blob/master/benchmarks/shared/src/main/scala/monix/benchmarks/CoevalAttemptBenchmark.scala#L38
• https://github.com/monix/monix/blob/master/benchmarks/shared/src/main/

Concerning Postgres versions:

1. It should be clarified & documented which Postgres versions are supported
2. Tests should be added for each supported version

See if it would be possible (and maybe useful) to define instances of higher-kinded typeclasses like ApplyK for the types in sup.

As event-sourced state accrues more events, it's often required to make snapshots or checkpoints that represent partially-accumulated state to speed the process of rehydrating up. This library does not have an explicit snapshotting mechanism, but rather it assumes that a "snapshot event" is persisted in your incoming event stream. So what if you use a different location for your snapshots such as

Just glancing at the readme:

• Timeout vs timeout
• CatsEffect vs IOSuite

Some of these should try to stay within the idiom of the surrounding test framework, so maybe we're already doing okay on the second point. We should try to unify on the first one, though.

Having support for parallel execution is great! However it comes at the cost of requiring Concurrent for transacting a Saga. Possibly there could be a version of Saga which doesn't need Concurrent and could support types like doobie's ConnectionIO.

I think shapeless should be optional, and only come in in the upcoming generic module.
If we already have it in core via circe, we should remove it, which might mean writing some instances manually: annoying but a one off job