> I think a language which manages to hide the complexity of monads without removing them Hm, I'm not sure this is possible: a great part of the "complexity" o

> I think a language which manages to hide the complexity of monads without removing them Hm, I'm not sure this is possible: a great part of the "complexity" of monads is because it's a similar (and fairly simple!) structure that applies to a great many apparently unrelated concepts: function sequencing, backtracking, and what have you.