Hi.

On 23 August 2013 13:29, Nicolas Trangez <nico...@incubaid.com> wrote:

> Did anyone ever consider using type-level literals (strings) to 'name'
> effects (or transformer layers when using monad stacks)?
>

Edwin Brady had this in his effects library in Idris.
http://www.idris-lang.org/documentation/effects/

Ozgur.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to