<div dir="ltr">Hello to all!<div><br></div><div>I'm trying to install the sized-types package, a dependency for kansas lava:</div><div><br></div><div><a href="http://hackage.haskell.org/package/sized-types">http://hackage.haskell.org/package/sized-types</a><br>
</div><div><br></div><div>using cabal, and the following error message is returned:</div><div><br></div><div><div>Data/Sized/Sparse/Matrix.hs:61:26:</div><div>    Could not deduce (Eq a) arising from a use of `prune'</div>
<div>    from the context (Size m, Size n, Size m', Size n', n ~ m', Num a)</div><div>      bound by the type signature for</div><div>                 mm :: (Size m, Size n, Size m', Size n', n ~ m', Num a) =></div>
<div>                       Matrix (m, n) a -> Matrix (m', n') a -> Matrix (m, n') a</div><div>      at Data/Sized/Sparse/Matrix.hs:50:7-112</div></div><div><br></div><div>Is it a known issue? Is there some way to solve it? I'm using GHC 7.6.3 and plataform 2013.2.0.0.</div>
<div><br></div><div>Best,</div><div><br></div><div>Rodrigo</div><div><br></div><div><br></div></div>