Jonas,<div><br><div class="gmail_quote">2010/10/13 Jonas Almström Duregård <span dir="ltr"><<a href="mailto:jonas.duregard@chalmers.se">jonas.duregard@chalmers.se</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<font face="'courier new', monospace">(++) :: Finite s1 a -> Finite s2 a -> 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>