1 files changed, 8 insertions, 7 deletions

diff --git a/packages/base/src/Internal/Util.hs b/packages/base/src/Internal/Util.hs
index f642e8d..6f3b4c8 100644
--- a/packages/base/src/Internal/Util.hs
+++ b/packages/base/src/Internal/Util.hs
@@ -83,6 +83,7 @@ import Control.Arrow((&&&),(***))
 import Data.Complex
 import Data.Function(on)
 import Internal.ST
+import Foreign.Storable
 #if MIN_VERSION_base(4,11,0)
 import Prelude hiding ((<>))
 #endif
@@ -174,7 +175,7 @@ a & b = vjoin [a,b]
 
 -}
 infixl 3 |||
-(|||) :: Element t => Matrix t -> Matrix t -> Matrix t
+(|||) :: Storable t => Matrix t -> Matrix t -> Matrix t
 a ||| b = fromBlocks [[a,b]]
 
 -- | a synonym for ('|||') (unicode 0x00a6, broken bar)
@@ -185,7 +186,7 @@ infixl 3 ¦
 
 -- | vertical concatenation
 --
-(===) :: Element t => Matrix t -> Matrix t -> Matrix t
+(===) :: Storable t => Matrix t -> Matrix t -> Matrix t
 infixl 2 ===
 a === b = fromBlocks [[a],[b]]
 
@@ -225,7 +226,7 @@ col = asColumn . fromList
 
 -}
 infixl 9 ?
-(?) :: Element t => Matrix t -> [Int] -> Matrix t
+(?) :: Storable t => Matrix t -> [Int] -> Matrix t
 (?) = flip extractRows
 
 {- | extract columns
@@ -240,7 +241,7 @@ infixl 9 ?
 
 -}
 infixl 9 ¿
-(¿) :: Element t => Matrix t -> [Int] -> Matrix t
+(¿) :: Storable t => Matrix t -> [Int] -> Matrix t
 (¿)= flip extractColumns
 
 
@@ -329,7 +330,7 @@ instance Normed (Vector (Complex Float))
     norm_Inf = norm_Inf . double
 
 -- | Frobenius norm (Schatten p-norm with p=2)
-norm_Frob :: (Normed (Vector t), Element t) => Matrix t -> R
+norm_Frob :: (Normed (Vector t), Storable t) => Matrix t -> R
 norm_Frob = norm_2 . flatten
 
 -- | Sum of singular values (Schatten p-norm with p=1)
@@ -346,7 +347,7 @@ True
 True
 
 -}
-magnit :: (Element t, Normed (Vector t)) => R -> t -> Bool
+magnit :: (Storable t, Normed (Vector t)) => R -> t -> Bool
 magnit e x = norm_1 (fromList [x]) > e
 
 
@@ -415,7 +416,7 @@ instance Indexable (Vector (Complex Float)) (Complex Float)
   where
     (!) = (@>)
 
-instance Element t => Indexable (Matrix t) (Vector t)
+instance Storable t => Indexable (Matrix t) (Vector t)
   where
     m!j = subVector (j*c) c (flatten m)
       where