Re: Tensor of monads

in "Combining algebraic effects with continuations", by Hyland et al. the authors say carefully: "In general, the tensor product of two arbitrary monads seems not to exist.." without providing a counterexample though, presumably because they did not have any. Was there any progress reported on this issue since then? Or maybe someone can even make up a counterexample right on the nail? Martin asked me about this about a year ago, and at the time I came up with something I reckoned was a counterexample, though I recall that the details were pretty foul. Do you want me to try to reconstruct it?

Nathan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]