<div dir="ltr">Henning,<div>Roles were cooked up to address the fact that currently, its possible to derive unsafeCoerce via  the use of Generalized Newtype Deriving. Roles address that issue and close that type safety hole. Richard has a paper or so on it, and theres some pretty extensive documentation/examples on the ghc wiki/trac  (though perhaps a more extensive exposition for normal haskellers is called for too?)</div>


<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Nov 27, 2013 at 1:18 PM, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br>
On Wed, 27 Nov 2013, Richard Eisenberg wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It seems that the syntax and semantics of role annotations has settled, and so it's time to add role annotations to various libraries.<br>
</blockquote>
<br></div>
This topic is completely new to me. Where can I read what it is about, what is its motivation?<div><div><br>
______________________________<u></u>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div></div>