[JoelMcCracken]

I'd love a SML with explicit effects system (and yes, I know we can implement a monad system in SML, but there needs to be ecosystem support or I might as well do the same thing in JavaScript or whatever)