<html><head></head><body>`xs !! () == fromList xs !! ()` seems to be a type error?<br><br>-- Keith<br><br>Sent from my phone with K-9 Mail.<br><br><div class="gmail_quote">On April 11, 2021 10:35:53 AM UTC, Tom Ellis <tom-lists-haskell-cafe-2017@jaguarpaw.co.uk> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre dir="auto" class="k9mail">On Sun, Apr 11, 2021 at 12:03:04PM +0200, Henning Thielemann wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">On Sun, 11 Apr 2021, Akhra Gannon wrote:<br><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #ad7fa8; padding-left: 1ex;">It's distributive under IsList.<br>fromList (xs !! n) == (fromList xs) !! n<br></blockquote>fromList (xs !! n) ?<br><br>I think, xs!!n is a single element.<br></blockquote><br>Presumably `xs !! n == fromList xs !! n`<hr>Libraries mailing list<br>Libraries@haskell.org<br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></pre></blockquote></div></body></html>