distributive law monad-comonad

Last updated May 3, 2024