<p dir="ltr">It's all a bit weird. I think the Proxy instance is lazy too. I would tend to think that empty types shouldn't have these instances, and that if they do that should be strict (empty case), but I can't prove that's the right way.</p>
<div class="gmail_quote">On Jul 15, 2015 5:53 PM, "Sven Panne" <<a href="mailto:svenpanne@gmail.com">svenpanne@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-07-15 19:55 GMT+02:00 Erik Hesselink <span dir="ltr"><<a href="mailto:hesselink@gmail.com" target="_blank">hesselink@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">[..] 3) I have no idea. What's the rationale behind returning True when<br>
comparing two Voids? [...]<br></blockquote><div><br></div><div>Hmmm, what's the rationale of throwing an exception? I can imagine True, False, throwing an exception etc., but I can't see a reason why one should be "better" or "more natural" than the other.</div></div></div></div>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div>