<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 18, 2014 at 2:14 AM, Dennis Raddle <span dir="ltr"><<a href="mailto:dennis.raddle@gmail.com" target="_blank">dennis.raddle@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">class Bt d c memo | d -> c, d -> memo where</blockquote></div><br></div><div class="gmail_extra">Could you also say something about the instances you intend to implement for this typeclass? <br>


<br>If there's only 1, which the statement of the problem suggests as much, you can dispense of the typeclass entirely and just work with plain functions!<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">


Could be that you want something working first and generalize / polymorphize later.<br></div><div class="gmail_extra"><br clear="all"><div>-- Kim-Ee</div>
</div></div>