I'm no expert but another example of a non-monadic implementation would be OCaml's new algebraic effects as part of the Multicore project, right?