<div dir="ltr"><div class="gmail_extra">Hi.</div><div class="gmail_extra"><br><div class="gmail_quote">On 23 August 2013 13:29, Nicolas Trangez <span dir="ltr">&lt;<a href="mailto:nicolas@incubaid.com" target="_blank">nicolas@incubaid.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div id=":114" style="overflow:hidden">Did anyone ever consider using type-level literals (strings) to &#39;name&#39;<br>


effects (or transformer layers when using monad stacks)?<br></div></blockquote></div><div class="gmail_extra"><br></div>Edwin Brady had this in his effects library in Idris.</div><div class="gmail_extra"><a href="http://www.idris-lang.org/documentation/effects/">http://www.idris-lang.org/documentation/effects/</a></div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Ozgur.
</div><div class="gmail_extra"><br></div></div>