Index promonoidal category Prostrong promonad Closed premonoidal category Probabilistic mixtures as promonoidals Prepromonoidality Prostrong monad promonad effectful category