addCoord :: a -> Coord n a -> Coord (Succ n) a
addCoord a (Coord n) = Coord (AddVector a n)
addCoord :: a -> Coord n a -> Coord (Succ n) a
addCoord a (Coord n) = Coord (AddVector a n)
addCoord a (Coord n) = Coord (AddVector a n)