For TH look also at <br><a href="http://www.mail-archive.com/haskell-cafe@haskell.org/msg13057.html" target="_blank">http://www.mail-archive.com/haskell-cafe@haskell.org/msg13057.html</a><br><br><br><div class="gmail_quote">
2011/10/27 Magicloud Magiclouds <span dir="ltr"><<a href="mailto:magicloud.magiclouds@gmail.com">magicloud.magiclouds@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="HOEnZb"><div class="h5">On Thu, Oct 27, 2011 at 1:57 AM, Brent Yorgey <<a href="mailto:byorgey@seas.upenn.edu">byorgey@seas.upenn.edu</a>> wrote:<br>
> On Wed, Oct 26, 2011 at 09:10:23PM +0400, MigMit wrote:<br>
>> Can't be done. Even if this particular module doesn't contain<br>
>> "instance Class Type", it's quite possible that the said instance<br>
>> would be defined in another module, about which this one knows<br>
>> nothing about.<br>
><br>
> That doesn't mean it can't be done, only that you would have to be<br>
> explicit about which modules to look in.<br>
><br>
> -Brent<br>
><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
<br>
</div></div>May I know more about this? Have not used TH on this subject.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
竹密岂妨流水过<br>
山高哪阻野云飞<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>