Koka itself looks interesting, especially the effect system. Thanks for the link! I expect it's not yet a practical programming language, is it? Microsoft has some good PL people, and projects; F* is another one I like.
OCaml is also growing an effect system, there's a recent paper linked here about some of that work, which may be of interest to the Nim community.