Implementation of effect system for Haskell, which is based on the work of
Oleg Kiselyov et al.:
Freer Monads, More Extensible Effects
Reflection without Remorse
Extensible Effects
The key features are:
An efficient effect system for Haskell - as a library!
Reimplementations of several common Haskell monad transformers as effects.
Core components for defining your own Effects.