vectorCycle :: Vector (Succ n) a -> Vector (Succ n) a
vectorCycle a = vectorHead a `vectorAddToBack` vectorTail a
vectorCycle :: Vector (Succ n) a -> Vector (Succ n) a
vectorCycle a = vectorHead a `vectorAddToBack` vectorTail a
vectorCycle a = vectorHead a `vectorAddToBack` vectorTail a