[Haskell-cafe] Monad Syntax

[Daniel Fischer]

On Monday 13 December 2010 22:06:41, caseyh at istar.ca wrote:
>
> Why pretend?
> Couldn't the syntax be:
>
> do
>      let x = 7
>      y <- x+1, Writer ("inc\n")
>      z <- 2*y, Writer ("double\n")
>      z-1, Writer ("dec\n")
>
> Or some other delimiter than the comma?

Doesn't work for other monads, I think (nor for the general

   x <- someWriter foo).

How would that translate to [], State, IO, ...?