[cutler]

Isn't that a real option with Arrow?

[stepbeek]

Kind of. I don't think arrow - however good it becomes - can really compete with a language where those primitives (like do notation) come with the compiler.