fitSize :: Ring a => Int -> LeftTransformation a -> LeftTransformation a
fitSize n lt@(LeftTransformation nrs cs)
  | nrs >= n = lt
  | otherwise =
      let szDiff = n-nrs
          cs' = fmap (LTC.adjustOffset (+szDiff)) cs
          cszero = V.generate szDiff (LTC.one n) 
      in  LeftTransformation n $ cszero <> cs'
fitSize :: Ring a => Int -> LeftTransformation a -> LeftTransformation a
fitSize n lt@(LeftTransformation nrs cs)
  | nrs >= n = lt
  | otherwise =
      let szDiff = n-nrs
          cs' = fmap (LTC.adjustOffset (+szDiff)) cs
          cszero = V.generate szDiff (LTC.one n) 
      in  LeftTransformation n $ cszero <> cs'
fitSize n lt@(LeftTransformation nrs cs)
  | nrs >= n = lt
  | otherwise =
      let szDiff = n-nrs
          cs' = fmap (LTC.adjustOffset (+szDiff)) cs
          cszero = V.generate szDiff (LTC.one n) 
      in  LeftTransformation n $ cszero <> cs'