<div dir="auto">Yeah, I mis-composed that. Pretty sure there's a formulation around take/head that works but I'm clearly not in a headspace to find it!</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Apr 11, 2021, 3:03 AM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Sun, 11 Apr 2021, Akhra Gannon wrote:<br>
<br>
> It's distributive under IsList.<br>
> fromList (xs !! n) == (fromList xs) !! n<br>
<br>
fromList (xs !! n) ?<br>
<br>
I think, xs!!n is a single element.<br>
</blockquote></div>