Jonas,<div><br><div class="gmail_quote">2010/10/13 Jonas Almström Duregård <span dir="ltr">&lt;<a href="mailto:jonas.duregard@chalmers.se">jonas.duregard@chalmers.se</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<font face="&#39;courier new&#39;, monospace">(++) :: Finite s1 a -&gt; Finite s2 a -&gt; Finite (S (Plus s1 s2)) a<br>
(++) (Finite a) (Finite b) = Finite $ a Prelude.++ b<br>infixr 5 ++</font></blockquote></div><div><br></div>Why do you have the S in the return type of Finite.++ ?<br>
<div><br></div><div>Ozgur</div></div>