Change handling of Monad in MVector and get rid of GADTs
[darcs-mirrors/vector.git] / Data / Vector / IVector.hs
index 31bd21a..ea28ffe 100644 (file)
@@ -75,12 +75,11 @@ import Prelude hiding ( length,
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1 )
 
--- | Class of immutable vectors. Just like with 'MVector', the type of the
--- elements can be restricted by using GADTs.
+-- | Class of immutable vectors.
 --
 class IVector v a where
   -- | Construct a pure vector from a monadic initialiser.
-  create       :: (forall mv m. MVector mv m a => m (mv a)) -> v a
+  create       :: (forall mv m. MVector mv m a => m (mv a)) -> v a
 
   -- | Length of the vector (not fusible!)
   vlength      :: v a -> Int