Hi.

On 23 August 2013 13:29, Nicolas Trangez <nicolas@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.

Ozgur.