control-monad-free (hackage): Free monads and monad transformers
Keywords: control|library|monads|public-domain