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!

On Sun, Apr 11, 2021, 3:03 AM Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Sun, 11 Apr 2021, Akhra Gannon wrote:

> It's distributive under IsList.
> fromList (xs !! n) == (fromList xs) !! n

fromList (xs !! n) ?

I think, xs!!n is a single element.