We plan to go on reading Uustalo's article (see previous posts),
starting with slide 24.
I am not a big proponent of strong monads, and Uustalo shows that
products are not preserved in Kleisli anyway; but coproduct are
preserved, so let's see what we can achieve; there's more to read
anyway.
-Vlad
Can you say more about why you are not a big proponent of them?
--
Jason Dusek
() ascii ribbon campaign - against html e-mail
/\ www.asciiribbon.org - against proprietary attachments