<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2017-04-05 18:18 GMT+02:00 Ben Franksen <span dir="ltr"><<a href="mailto:ben.franksen@online.de" target="_blank">ben.franksen@online.de</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">And let's not forget Either which IMO should be regarded as an unbiased<br>
choice. I don't have a proposal for the name, though.<br></blockquote><div><br></div><div>In the dark ages of Haskell's library design, i.e. a long, long time ago, in a distant past, the time where people could actually write significant code without using at least 20 LANGUAGE pragmas ;-), we discussed this already, see e.g. the thread starting at <a href="http://code.haskell.org/~dons/haskell-1990-2000/msg07215.html">http://code.haskell.org/~dons/haskell-1990-2000/msg07215.html</a>. The final outcome was: Although something like Error/OK would have been better than Left/Right, a slight majority preferred to give a bias to Either. The reasoning was that using "Right" for a "wrong" outcome (i.e. failure) would be a bit obscure, and there was already quite some code using it in the way we still do today. The bias is even explicitly documented in the Haddock docs for Data.Either for ages, so it would not be very wise to change the meaning here after roughly 2 decades.</div><div><br></div><div>Of course the question remains: What is the totally unbiased standard sum type for 2 alternatives?</div></div></div></div>