Project: https://github.com/dannypsnl/typed-racket-eff An effect system integrated with typed/racket.