Haskell, Freer monads
Currently running an NIH'd implementation of final-encoded freer monads in this toy project. I'm not even using extensible effects, but it's still a pretty convenient way of having multiple interpreters without a bunch of typeclass constraints in the signature. Maybe a bit overkill?
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !