Could not deduce Container Vector e from Product e about hmatrix HOT 2 CLOSED

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleContexts  #-}

import Numeric.LinearAlgebra

class Mul2 a b c | a b -> c
 where
   infixl 7 <<>>
   (<<>>)  :: a -> b -> c

instance Product t => Mul2 (Matrix t) (Matrix t) (Matrix t)
  where
    (<<>>) = mXm

instance Product t => Mul2 (Matrix t) (Vector t) (Vector t)
  where
    (<<>>) m v = flatten $ m <> asColumn v

instance Product t => Mul2 (Vector t) (Matrix t) (Vector t)
  where
    (<<>>) v m = flatten $ asRow v <> m


newtype DiagMatrix e = DiagMatrix {getDiag :: Vector e}

instance (Num (Vector t), Container Vector t) => Mul2 (DiagMatrix t) (Matrix t) (Matrix t)
  where
    (<<>>) dm m = asColumn (getDiag dm) * m

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleContexts  #-}
{-# LANGUAGE FlexibleInstances  #-}

import Numeric.LinearAlgebra hiding (Mul(..))

newtype DiagMatrix e = DiagMatrix {getDiag :: Vector e} deriving Show

diagl l = (DiagMatrix . fromList) l 

class Mul t a b c | a b -> c
 where
   infixl 7 <>
   (<>)  :: a t -> b t -> c t

instance Product t => Mul t Matrix Matrix Matrix
  where
    (<>) = mXm

instance Product t => Mul t Matrix Vector Vector
  where
    (<>) m v = flatten $ m `mXm` asColumn v

instance Product t => Mul t Vector Matrix Vector
  where
    (<>) v m = flatten $ asRow v `mXm` m

instance (Container Vector t) => Mul t DiagMatrix Matrix Matrix
  where
    (<>) dm m = repmat (asColumn (getDiag dm)) 1 (cols m) `mul` m

instance (Container Vector t) => Mul t Matrix DiagMatrix Matrix
  where
    (<>) m dm = repmat (asRow (getDiag dm)) (rows m) 1 `mul` m

instance (Container Vector t) => Mul t DiagMatrix DiagMatrix DiagMatrix
  where
    DiagMatrix a <> DiagMatrix b = DiagMatrix (mul a b)