<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 02/04/2019 04:28, Fumiaki Kinoshita
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAATCwUmYz54Lct6-JA5MvjWd-Y3tw8cvXn0AHKZKSGg9bayoWQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">I submitted <a
href="https://gitlab.haskell.org/ghc/ghc/merge_requests/644"
moz-do-not-send="true">https://gitlab.haskell.org/ghc/ghc/merge_requests/644</a>
but it might be still controversial. I'd like to get more
opinions again.<br>
</div>
<div dir="ltr"><br>
</div>
<div>Here's the list of proposed instances:</div>
<div><br>
</div>
<div><code><span class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-kt">Foldable</span> <span
class="gmail-p">((,,)</span> <span
class="gmail-n">a</span> <span
class="gmail-n">b</span><span
class="gmail-p">)</span></code><br>
</span></code></span></code></span></code></span></code></span></code></div>
</div>
</blockquote>
<blockquote type="cite"
cite="mid:CAATCwUmYz54Lct6-JA5MvjWd-Y3tw8cvXn0AHKZKSGg9bayoWQ@mail.gmail.com">
<div dir="ltr">
<div><code><span class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-kt">Foldable</span> <span
class="gmail-p">((,,,)</span> <span
class="gmail-n">a</span> <span
class="gmail-n">b</span> <span
class="gmail-n">c</span><span
class="gmail-p">)</span></code><br>
</span></code></span></code></span></code></span></code></span></code></span></code></div>
<div><code><span class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-kt">Traversable</span>
<span class="gmail-p">((,,)</span>
<span class="gmail-n">a</span> <span
class="gmail-n">b</span><span
class="gmail-p">)</span></code><br>
</span></code></span></code></span></code></span></code></span></code></span></code></span></code></div>
<div><code><span class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-p"><code><span
class="gmail-kt">Traversable</span>
<span class="gmail-p">((,,,)</span>
<span class="gmail-n">a</span>
<span class="gmail-n">b</span>
<span class="gmail-n">c</span><span
class="gmail-p">)</span></code><br>
</span></code></span></code></span></code></span></code></span></code></span></code></span></code></span></code></div>
</div>
</blockquote>
<p>Presumably these would leave us with things like length (2,3,4) =
1 ?</p>
<p>If so I'm a weak -1; it's awful but the ship has already sailed
with pairs, so maybe consistency beats more "wat" moments.</p>
<p>Cheers,</p>
<p>Ganesh<code><br>
</code></p>
</body>
</html>