<div dir="ltr">I&#39;m sorry this was a typo. Here&#39;s the correct one:<br>
<br>
{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}<br>
<br>
class Add a b where<br>
    add :: a -&gt; b<br>
<br>
instance Num a =&gt; Add a a where<br>
    add = id<br>
<br>
instance (Num a, Add a b) =&gt; Add a (a -&gt; b) where<br>
    add x y = add (x + y)<br>
<br>
I&#39;m trying to use the printf trick to achieve this.<br><br><div class="gmail_quote">On Tue, Mar 13, 2012 at 9:30 PM, Johannes Waldmann <span dir="ltr">&lt;<a href="mailto:waldmann@imn.htwk-leipzig.de">waldmann@imn.htwk-leipzig.de</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">&gt; Can someone tell me why this is not working<br>
<br>
</div>that &quot;someone&quot; is actually ghci:<br>
<br>
Prelude&gt; instance (Num a, Add a b) =&gt; Add (a -&gt; b) where add x y = add (x + y)<br>
<br>
&lt;interactive&gt;:8:30:<br>
    Expecting one more argument to `Add (a -&gt; b)&#39;<br>
    In the instance declaration for `Add (a -&gt; b)&#39;<br>
<br>
<br>
<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>
</blockquote></div><br></div>