Tags: promonad. References. Distributors at Work (Benabou, 2000) Promonads and String Diagrams for Effectful Categories (Roman, 2022)
