-shiftl :: (PositiveT s, NaturalT n, n ~ Pred s, s ~ Succ n) =>
- Vector s a -> a -> Vector s a
-shiftl xs x = x +> init xs
+shiftIntoL :: (PositiveT s, NaturalT n, n ~ Pred s, s ~ Succ n) =>
+ Vector s a -> a -> Vector s a
+shiftIntoL xs x = x +> init xs