Following the benchmarks here, this project will eventually be an efficient IRWS monad for Scala with instances for Cats and Scalaz.
Once that is done, I’ll try and figure out the RWST version; that will probably be implemented as a natural transformation from the algebra here to Monix / Scalaz 8 IO.