Re: [Haskell-cafe] Yet Another Forkable Class

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