monoidal promonad

Last updated Jun 3, 2024