+-- | Cons value to continuation based vector.
+(<|) :: a -> ContVec n a -> ContVec (S n) a
--- | Generic function for construction of arbitrary vectors. It
--- represents partially constructed vector where /n/ is number of
--- uninitialized elements, /v/ is type of vector and /a/ element type.
--- Uninitialized vector could be obtained from 'con' and vector
--- elements could be added from left to right using '|>' operator.
--- Finally it could be converted to vector using 'vec' function.
--- Construction of complex number which could be seen as 2-element vector:
--- >>> import Data.Complex
--- >>> vec $ con |> 1 |> 3 :: Complex Double
-newtype New n v a = New (Fn n a (v a))
--- | Convert fully applied constructor to vector
-con :: Vector v a => New (Dim v) v a
--- | Apply another element to vector
-(|>) :: New (S n) v a -> a -> New n v a
-f2n :: Fun n a (v a) -> New n v a