Why monads don't combine

I came across a useful Reddit post and since that place has gone down the drain I thought I’d preserve it here: It is a well known in Haskell folklore that monads don’t compute, but what does that mean exactly? Redditor /u/kn2322 shared a nice list of publications: King and Wadler 1992: Combining Monads This seems to be the first publication. Jones and Duponcheel 1993: Composing Monads This is a more accessible explanation. Here is an excerpt from the abstract: In practice, it is usu...