This is great, I've always liked SML. It has a lot of what I like about Haskell without breaking my brain, and it seems like it could be a good option for a pragmatic systems development language when used with MLton. I even toyed with the idea of developing an IDE plugin for it but was put off by the difficulty of parsing it.