úÎ!1½     Safe 1345<FNT¡vector-space-mapNote:  in the  instance operates under  intersection. i.e.:P(MapVector $ Map.fromList [("x", id)]) <*> (MapVector $ Map.fromList [("y", 3)])MapVector (fromList [])Use the % instance for elementwise operations:iliftA2 (*) (MapVector $ Map.fromList [("x", 2), ("y", 3)]) (MapVector $ Map.fromList [("x", 5),("y", 7)])(MapVector (fromList [("x",10),("y",21)])`liftA2 (*) (MapVector $ Map.fromList [("x", 2), ("y", 3)]) (MapVector $ Map.fromList [("y", 7)])MapVector (fromList [("y",21)]) in the ^ instance multiplies by the scalar of v. Nesting MapVectors preserves the scalar type, e.g. %Scalar (MapVector k (MapVector k' v)) = Scalar v.I2 *^ (ConstantMap $ MapVector $ Map.fromList [("x", 3 :: Int), ("y", 5)])5ConstantMap (MapVector (fromList [("x",6),("y",10)])) Finally,  in E is the dot-product operator. Again, it operates under intersection.i(MapVector $ Map.fromList [("x", 2 :: Int), ("y", 3)]) <.> (MapVector $ Map.fromList [("x", 5),("y", 7)])31s(pure . MapVector $ Map.fromList [("x", 2 :: Int), ("y", 3)]) <.> (MapVector $ Map.fromList [("a", pure (5::Int))])25Addition with  operates under union.vector-space-mapDAn infinite-dimensional vector with the same value on all dimensionsvector-space-mapRespects the inner  , unlike .      !"/vector-space-map-0.2.1.1-AqMgXyEgbOYG773ioLTqRuData.Map.Vector MapVector ConstantMap$fHasBasisMapVector$fInnerSpaceMapVector$fVectorSpaceMapVector$fAdditiveGroupMapVector$fApplicativeMapVector$fMonoidMapVector$fSemigroupMapVector $fEqMapVector$fFunctorMapVector$fShowMapVector$fReadMapVector$fFoldableMapVector$fTraversableMapVector$fDataMapVectorbaseGHC.Base<*> Applicative(vector-space-0.15-2xgm9ZIKq60B9EhWNuiauJData.VectorSpace*^ VectorSpace<.> InnerSpaceData.AdditiveGroup^+^Monoidcontainers-0.5.11.0Data.Map.InternalMap