<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d"><br>&quot;class ShapeInterface shape where<br>
 &nbsp; &nbsp; &nbsp; &nbsp;area :: shape-&gt;Int&quot;<br><br></div>now looks dubious....I want it to be something like<br><br>&quot;class ShapeInterface shape where<br> &nbsp; &nbsp; &nbsp; &nbsp;area :: Num numberType =&gt; shape-&gt;Int&quot; ?<br></blockquote>
<br>Rather, I think you probably want<br><br>class ShapeInterface shape where<br>&nbsp;&nbsp;&nbsp; area :: Num numberType =&gt; shape -&gt; numberType<br><br>-Brent<br></div><br>