Awesome

modules-over-monads Haskell library

A Haskell library for modules over monads, idealised monads, and ideal monads. It implements the following:

Left and right modules over monads. See M. Piróg, N. Wu, J. Gibbons Modules over monads and their algebras https://coalg.org/calco15/papers/p18-Piróg.pdf.
Generalised resumptions (ibid.)
Idealised and ideal monads. See S. Milius Completely iterative algebras and completely iterative monads http://www.iti.cs.tu-bs.de/~milius/phd/M1.pdf.
Coproducts of Ideal monads N. Ghani, T. Uustalu Coproducts of ideal monads http://www.cs.ioc.ee/~tarmo/papers/fics03-tia.pdf.