* package:numeric-prelude

scale a vector by a scalar
scale a vector by a scalar
Right (left?) group action on the Integers. Close to, but not the same as the module action in Algebra.Module.
addPair :: (Additive.C a, Additive.C b) => (a,b) -> (a,b) -> (a,b)
addPair = Elem.run2 $ Elem.with (,) <*>.+  fst <*>.+  snd