typed/racket eff [typed-racket-eff]

An effect system integrated with typed/racket.