An implementation of an effect system for Haskell (a fork of
freer-effects), 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.