hello alberto,<div>i&#39;ve had some funny issues with using the cmap function, and i&#39;d like understand what i&#39;m doing wrong</div><div>namely it wont correctly instantiate for vectors or matrices and I don&#39;t understand why.</div>

<div><br></div><div>basically my question  is: </div><div><br></div><div>what is the correct type for the hmatrix expression</div><div><br></div><div>mapMat f  =liftMatrix $! cmap f  </div><div><div><br></div></div><div>
<br>
</div><div>I&#39;d like to just give it a type like </div><div>Storable a =&gt; (a-&gt;a)-&gt; Matrix a -&gt; Matrix a </div><div><br></div><div>but i get an error message like</div><div><div>Electrical.lhs:89:29:</div><div>

    No instance for (Container Vector e0)</div><div>      arising from a use of `cmap&#39;</div><div>    Possible fix: add an instance declaration for (Container Vector e0)</div><div>    In the second argument of `($!)&#39;, namely `cmap f&#39;</div>

<div>    In the expression: liftMatrix $! cmap f</div><div>    In an equation for `mapMat&#39;: mapMat f = liftMatrix $! cmap f</div></div><div><br></div><div>which i feel shouldn&#39;t be happening. </div><div><br></div>

<div>is the type of cmap in some way too polymorphic, or am I just not turning on the right ghc type extensions for this to work,</div><div>or is this something that would have been well typed prior to ghc 7? Or am i just not correctly understanding this type error and i&#39;m making a simple mistake?</div>

<div><br></div><div>thanks!</div><div>-Carter</div><div><br></div>