<div dir="ltr">validating would *prevent inconsistent data*.<div><br></div><div>it is precisely the issue that current semantics are *not* consistent across that needs to be addressed! </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 14, 2020 at 6:38 PM Joseph C. Sible <<a href="mailto:josephcsible@gmail.com">josephcsible@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">On Thu, May 14, 2020 at 10:41 AM Carter Schonwald<br>
<<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>> wrote:<br>
> My inclination is we change the semantics of fromListN to be strictly validating with an error when the length is wrong. This is the most consistent and humane of options.<br>
<br>
I disagree that validating would be consistent. Look how common the<br>
phrases "the precondition is not checked" and "violation of this<br>
condition is not detected" are in the containers library and so many<br>
others on Hackage.<br>
<br>
Joseph C. Sible<br>
</blockquote></div>