PromonadLast updated May 3, 2024DefinitionReferences.Promonads and String Diagrams for Effectful Categories (Roman, 2022), Definition 3.7.Topic.motivation for promonadsPromonads are id-on-objects functorsdistributive lawStrong promonadKleisli categoryProstrong promonad