<html><head><style>p{margin-top:0px;margin-bottom:0px;}</style></head><body><div style="font-size:10pt; font-family:Gulim, sans-serif;"><p><span style="font-family: courier new, serif;">Current definion of (<|>) for ZipLists:</span><span></span></p><pre><span style="font-family: gulim, sans-serif;"></span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#ZipList" class=""><span class="hs-identifier hs-var" style="font-family: courier new, serif;">ZipList</span></a><span style="font-family: courier new, serif;"> </span><a name="local-6989586621679319881"></a><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#local-6989586621679319881"><span class="hs-identifier" style="font-family: courier new, serif;">xs</span></a><span style="font-family: courier new, serif;"> </span><a name="local-8214565720323792760"></a><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/GHC.Base.html#%3C%7C%3E"><span class="hs-operator" style="font-family: courier new, serif;"><|></span></a><span style="font-family: courier new, serif;"> </span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#ZipList" class=""><span class="hs-identifier hs-var" style="font-family: courier new, serif;">ZipList</span></a><span style="font-family: courier new, serif;"> </span><a name="local-6989586621679319882"></a><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#local-6989586621679319882"><span class="hs-identifier" style="font-family: courier new, serif;">ys</span></a><span style="font-family: courier new, serif;"> </span><span class="hs-glyph" style="font-family: courier new, serif;">=</span><span style="font-family: courier new, serif;"> </span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#ZipList" class=""><span class="hs-identifier hs-var" style="font-family: courier new, serif;">ZipList</span></a><span style="font-family: courier new, serif;"> </span><span class="hs-special" style="font-family: courier new, serif;">(</span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#local-6989586621679319881"><span class="hs-identifier hs-var" style="font-family: courier new, serif;">xs</span></a><span style="font-family: courier new, serif;"> </span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/GHC.Base.html#%2B%2B"><span class="hs-operator hs-var" style="font-family: courier new, serif;">++</span></a><span style="font-family: courier new, serif;"> </span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/GHC.List.html#drop"><span class="hs-identifier hs-var" style="font-family: courier new, serif;">drop</span></a><span style="font-family: courier new, serif;"> </span><span class="hs-special" style="font-family: courier new, serif;">(</span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Data.Foldable.html#length"><span class="hs-identifier hs-var" style="font-family: courier new, serif;">length</span></a><span style="font-family: courier new, serif;"> </span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#local-6989586621679319881"><span class="hs-identifier hs-var" style="font-family: courier new, serif;">xs</span></a><span class="hs-special" style="font-family: courier new, serif;">)</span><span style="font-family: courier new, serif;"> </span><a href="http://hackage.haskell.org/package/base-4.11.1.0/docs/src/Control.Applicative.html#local-6989586621679319882"><span class="hs-identifier hs-var" style="font-family: courier new, serif;">ys</span></a><span class="hs-special" style="font-family: courier new, serif;">)</span><span style="font-family: courier new, serif;"><br><br>doesn't work if the left argument is infinite. It should be:<br><br>ZipList [] <|> ys = ys<br>xs <|> ZipList [] = xs<br>ZipList (x:xs) <|> ZipList (_:ys) = ZipList (x : (ZipList xs <|> ZipList ys))<br></span></pre></div></body></html><table style='display:none'><tr><td><img src="https://mail.naver.com/readReceipt/notify/?img=JqRCbHFTpz%2FYaqgZKrRZF4tlFx0opzMdM4ivFzk0FrtmpzJvKrt%2Fax%2BSM4k4FuIo%2BrkSKob5W4d5W4C5bX0q%2BzkR74FTWx%2FsWz0Sb4JZ16kqtzCCbrR0Wzm5WXiN.gif" border="0"/></td></tr></table>