While Koka has these features built in, there’s a number of Haskell libraries such as polysemy, fused-effects, freer-simple and eff that you can use in a practical setting to great effect (pardon the pun).