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.