<div dir="ltr">The <font face="monospace, monospace">ZipList</font> data type admits one legal <font face="monospace, monospace">Alternative</font> instance<div><br></div><div><font face="monospace, monospace">instance Alternative ZipList where</font></div><div><font face="monospace, monospace">   pure = ZipList []</font></div><div><font face="monospace, monospace">   ZipList xs <|> ZipList ys = ZipList (xs ++ drop (length xs) ys)</font></div><div><br></div><div>The legality of this instance was first noted in <a href="http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ppdp2015.pdf">http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/ppdp2015.pdf</a></div><div><br></div><div>I propose adding this instance, which acts like a generalized version of the Alternative for Maybe, choosing with a left bias.</div><div><br></div><div>Discussion Period: 2 weeks</div><div><br></div><div>-Edward</div></div>