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