promonad References Promonads and String Diagrams for Effectful Categories (Roman, 2022), Section 3.2.
