On Sat, Dec 8, 2012 at 9:00 PM, Ross Paterson <span dir="ltr">&lt;<a href="mailto:ross@soi.city.ac.uk" target="_blank">ross@soi.city.ac.uk</a>&gt;</span> wrote:<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
OK, then if me move Eq1, Ord1, Show1 and Read1 into transformers with<br>
a bunch of instances we can keep these instances for EitherT (and define<br>
some more).</blockquote><div><br></div><div>I would definitely be +1 on the move. It would get a lot more instances than having them rotting off in a side-package of mine somewhere. I could probably then retire the package as I don&#39;t use the &#39;2&#39; variants very often.</div>
<div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
&gt; (As an unrelated aside bound packages up the generalized de Bruijn indices you did with Hinze as a reusable Haskell 98 monad transformer, you may find it interesting.)<br>
<br>
</div>You mean Richard Bird, of course.</blockquote><div><br></div><div>Indeed I do.</div><div><br></div><div>-Edward</div></div>