Proeffectful categoriesLast updated Nov 4, 2022IndexPromonoidal categoryProstrong promonadClosed premonoidal categoryProbabilistic mixtures as promonoidalsPrepromonoidalityProstrong monadPromonadEffectful category