distributive law of strong promonads

Last updated May 3, 2024

Tags: promonad, strong monad.