On Tue, Feb 1, 2011 at 11:47 AM, Ozgur Akgun <span dir="ltr">&lt;<a href="mailto:ozgurakgun@gmail.com">ozgurakgun@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="gmail_quote"><div class="im">On 1 February 2011 11:41, John Lato <span dir="ltr">&lt;<a href="mailto:jwlato@gmail.com" target="_blank">jwlato@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>The important point is that this declares an AbGroup instance for every type, not just types with Num instances.</div></blockquote><div><br></div></div><div>So, is there a way to declare an AbGroup instance for the types with num instances only?</div>
</div></blockquote><div><br></div><div>Not to my knowledge.</div><div><br></div><div>John </div></div>