<br><br><div class="gmail_quote">On Mon, Dec 15, 2008 at 2:15 PM, Thomas DuBuisson <span dir="ltr">&lt;<a href="mailto:thomas.dubuisson@gmail.com">thomas.dubuisson@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
2008/12/15 Mario Blazevic <span dir="ltr">&lt;<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a>&gt;</span><br><div class="gmail_quote"><div class="Ih2E3d"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div>Alexander Dunlap wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The problem is that y is not mentioned in the signature of wrapper.<br>
When you call wrapper x, there could be many different instances of<br>
Container x y with the same x, so GHC doesn&#39;t know which version to<br>
call.<br>
</blockquote>
<br>
<br></div>
 &nbsp; &nbsp; &nbsp; &nbsp;I guess I see it now. However, if the explicit &#39;Container x y =&gt;&#39; context couldn&#39;t fix the y to use for instantiation of Container x y, I don&#39;t see any way to fix it. And if there is no way to call wrapper in any context, the class declaration itself is illegal and GHC should have reported the error much sooner. Should I create a ticket?<div>

</div></blockquote></div><div><br><br>Please do not create a ticket.&nbsp; Such a typeclass is legitimate, but not
useful alone or with functional dependencies.&nbsp; It is useful with Type
Families though, so celebrate!<br><br>Thomas</div></div></blockquote><div><br>Ok, now I get to laugh at myself.&nbsp; Caught up in the type family fun, I didn&#39;t even notice I obliterated the MPTC issue that started the whole discussion.&nbsp; Slowing down to think, I can&#39;t find an example where the original MPTC is any good and it should thus receive a compile time error.&nbsp; Perhaps someone will come along and give a legitimate example.<br>
<br>Thomas<br></div></div>