úÎ{‰None +-./4>FLNote:  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.DAn infinite-dimensional vector with the same value on all dimensions Respects the inner   , unlike  .           vecto_7suDLk0eyfD6rGyV4y5o1wData.Map.Vector MapVector ConstantMapbaseGHC.Base<*> Applicativevecto_KCGMxwS9A2FBSP5YdnxIL3Data.VectorSpace*^ VectorSpace<.> InnerSpaceData.AdditiveGroup^+^$fMonoidMapVectorMonoidconta_2C3ZI8RgPO2LBMidXKTvIU Data.Map.BaseMap$fHasBasisMapVector$fInnerSpaceMapVector$fVectorSpaceMapVector$fAdditiveGroupMapVector$fApplicativeMapVector