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