Comment by nerdponx

Others off the top of my head in no particular order (all effectively research languages): Multicore Ocaml, Eff, Frank, Effekt, Helium, Links. Also Fused Effects in Haskell and an experimental library for it in Idris. I guess the Common Lisp condition system could be used for general effect handling too, albeit without type-level guarantees.