<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><blockquote style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex" class="gmail_quote">
<br></blockquote><div> </div><div>And the type signature given by ghci is <br><blockquote style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex" class="gmail_quote">
myLength :: (Num t1) => [t] -> t1<br></blockquote><div><br></div></div></blockquote><div><br></div><div>But why is the signature not written as:</div><div>myLength :: [t] -> (Num t1) => t1</div><div>or something similar? </div>
<div><br></div><div>I thought that the Num typeclass being first implied that it was the function's first argument.</div></div><br>