+ package:numeric-prelude

(+) :: C a => a -> a -> a
numeric-prelude Algebra.Additive Algebra.Additive NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric
add and subtract elements
(+:) :: a -> a -> T a
numeric-prelude Number.Complex
Construct a complex number from real and imaginary part.
(+::) :: a -> (a, a, a) -> T a
numeric-prelude Number.Quaternion
Construct a quaternion from real and imaginary part.
(++) :: [a] -> [a] -> [a]
numeric-prelude NumericPrelude NumericPrelude.Base
Append two lists, i.e., 
[x1, ..., xm] ++ [y1, ..., yn] == [x1, ..., xm, y1, ..., yn]
[x1, ..., xm] ++ [y1, ...] == [x1, ..., xm, y1, ...]
If the first list is not finite, the result is the first list.
(<*>.+) :: C x => T (v, v) (x -> a) -> (v -> x) -> T (v, v) a
numeric-prelude Algebra.Additive
addPair :: (Additive.C a, Additive.C b) => (a,b) -> (a,b) -> (a,b)
addPair = Elem.run2 $ Elem.with (,) <*>.+  fst <*>.+  snd
(<+>) :: (C v, C a) => v a -> v a -> v a
numeric-prelude Algebra.Vector
add and subtract elements