Substrate

#eitan-chatav
zurry and unzurry
zurry and unzurry
When working with a monad, you work in its Kleisli category which is another example of a CCC. The above discussion relating function evaluation to function composition, would then relate Kleisli evaluation (=) to Kleisli composition (=). Woah, is `bind` just monadic function evaluation?
·tangledw3b.wordpress.com·
zurry and unzurry