As far as I know the shiniest implementations in the effect typing world at the moment are Koka and Effekt, which are both languages in their own right. They each have their own ideas about implementation to make effects (mostly) zero-cost.

https://koka-lang.github.io/ https://effekt-lang.org/

Frank is pretty old now but perhaps a simpler implementation: https://github.com/frank-lang/frank