Central product of promonadsLast updated May 3, 2024Tags: promonad, effectful category, Pure tensor of promonads