<div class="gmail_quote">On Tue, Apr 17, 2012 at 6:40 PM, Nicolas Frisby <span dir="ltr">&lt;<a href="mailto:nicolas.frisby@gmail.com">nicolas.frisby@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I built a (really ugly) dictionary for (Int ~ Char) using<br>
Data.Constraints.Forall. I&#39;m fairly confident it could be generalized<br>
to a polymorphic coercion (a ~ b).<br>
<br>
  <a href="http://hpaste.org/67180" target="_blank">http://hpaste.org/67180</a><br>
<br>
I cheated with overlapping instances, but you left me no choice ;).<br>
Anyone who pulls this kind of stunt is definitely trying to subvert<br>
it; so I vote &quot;trustworthy&quot;.<br></blockquote><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I&#39;m adopting Data.Constraints.Forall for my local experimentation.<br>

Thanks for pointing it out.<br></blockquote><div><br></div>With overlapping instances you can build any dictionary you want, even without unsafeCoerce, so I&#39;ll leave it in. ;)</div><div class="gmail_quote"><br></div>
<div class="gmail_quote">I should probably avoid using (,) as well, to further stymie such efforts. ;P<br><div><br></div><div>-Edward</div></div>