Large category of modules over monads on top of UniMaths and Display category - View it on GitHub