@ Stephem: here is my build-depends: Vec -any, array -any, base -any, containers -any,  mtl -any.<div>You also can find a cabal file on my GitHub: <a href="http://github.com/EdgarGomes/DeUni">http://github.com/EdgarGomes/DeUni</a><div>
<br></div><div><a href="http://github.com/EdgarGomes/DeUni"></a>@Daniel: In fact, I&#39;ve inserted that context trying to fix the problem but it affected nothing. I&#39;ll remove it.</div><div><br></div><div>Thank you guys, in advanced, for the collaboration!</div>
<div><br></div><div>Edgar</div><div><br></div><div><br><br><div class="gmail_quote">On 26 March 2011 21:50, Daniel Fischer <span dir="ltr">&lt;<a href="mailto:daniel.is.fischer@googlemail.com">daniel.is.fischer@googlemail.com</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">On Saturday 26 March 2011 21:35:13, Edgar Gomes Araujo wrote:<br>
&gt; Hi Stephen,<br>
&gt; I&#39;ve have done the following:<br>
&gt;<br>
&gt; {-# LANGUAGE ScopedTypeVariables #-}<br>
&gt; {-# LANGUAGE RankNTypes #-}<br>
&gt; ...<br>
&gt; mbc :: forall a . (SubUnit a)=&gt;[Point] -&gt; SetActiveSubUnits a -&gt; Box -&gt;<br>
&gt; StateMBC a [Unit a]<br>
&gt; mbc p afl box = do<br>
&gt;     cleanAFLs<br>
&gt;     if (null afl)<br>
&gt;         then do<br>
&gt;             (unit, afl&#39;) &lt;- case build1stUnit plane p1 p2 p of<br>
&gt;                 Just un  -&gt; return (([un], fromList $ getAllSubUnits<br>
&gt; un)::(SubUnit a)=&gt;([Unit a], SetActiveSubUnits a))<br>
<br>
</div>Remove the context, that&#39;s given in the signature:<br>
<br>
   return (([un], fromList ...) :: ([Unit a], SetActiveSubUnits a))<br>
<div><div></div><div class="h5"><br>
&gt;                 _        -&gt; return ([]   , empty)<br>
&gt;             analyze1stUnit unit afl&#39;<br>
&gt; .....<br>
&gt;<br>
&gt;<br>
&gt; I hope that is right. Does it?<br>
&gt;<br>
</div></div></blockquote></div><br></div></div>