<div style="font-family: 'Times New Roman'; font-size: 16px;"><br _moz_dirty="" />In the current example does the following totally or partially ignore the type class system.<br _moz_dirty="" />boo :: Shed -&gt; Integer<br _moz_dirty="" />boo h = addressB h + addressH h<br _moz_dirty="" /><br /><br /><span>On 16/10/11, <b class="name">Daniel Fischer </b> &lt;daniel.is.fischer@googlemail.com&gt; wrote:</span><br _moz_dirty="" /><blockquote cite="mid:201110162035.07516.daniel.is.fischer@googlemail.com" class="iwcQuote" style="border-left: 1px solid rgb(0, 0, 255); padding-left: 13px; margin-left: 0pt;" type="cite"><div class="mimepart text plain">In your example, the only difference is that with the superclass constraint<br /><br />foo :: House h =&gt; h -&gt; Integer<br />foo h = addressB h + addressH h<br /><br />works, while without superclass constraint, foo would need both classes in <br />its context.<br /></div></blockquote></div>