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.