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.
> (all _effect_ively research languages)
:)
eh, iirc fused-effects is used in production, along with haskell (obviously)
Was just pointing out a nice (probably unintentional) pun