<br><br><div class="gmail_quote">On Sat, Aug 14, 2010 at 2:27 PM, Ivan Lazar Miljenovic <span dir="ltr">&lt;<a href="mailto:ivan.miljenovic@gmail.com">ivan.miljenovic@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">Alexey Karakulov &lt;<a href="mailto:ankarakulov@gmail.com">ankarakulov@gmail.com</a>&gt; writes:<br>
<br>
<br>
&gt; (Ord b) must be deduced from (Functor (Set b)) but it doesn&#39;t. I don&#39;t know<br>
&gt; whether it&#39;s my mistake somewhere or ghc problem.<br>
<br>
</div>I&#39;ve come across this problem as well; the best solution I&#39;ve seen so<br>
far is the one taken by Ganesh in his rmonad library:<br>
<a href="http://hackage.haskell.org/package/rmonad" target="_blank">http://hackage.haskell.org/package/rmonad</a><br>
<font color="#888888"><br>
--<br>
Ivan Lazar Miljenovic<br>
<a href="mailto:Ivan.Miljenovic@gmail.com">Ivan.Miljenovic@gmail.com</a><br>
<a href="http://IvanMiljenovic.wordpress.com" target="_blank">IvanMiljenovic.wordpress.com</a><br>
</font></blockquote></div><br>Thanks for the link, but RFunctor typeclass is still (more or less) polymorphic, so I couldn&#39;t write ByteString instance for it. (Really I don&#39;t care about ByteString, but it&#39;s good example). However, I could try to use Suitable+Constraints concept for non-polymorphic functors.<br>
<br>-- <br>All the best,<br>Alexey<br>