fitSize n lt@(LeftTransformationMatrix m)
  | nrs >= n = lt
  | otherwise = LeftTransformationMatrix $ M.one (n-nrs) <> m
  where
    nrs = nmbRows m

--------------------------------------------------------------------------------
-- Eq, Show, and NFData instances
--------------------------------------------------------------------------------
fitSize n lt@(LeftTransformationMatrix m)
  | nrs >= n = lt
  | otherwise = LeftTransformationMatrix $ M.one (n-nrs) <> m
  where
    nrs = nmbRows m

--------------------------------------------------------------------------------
-- Eq, Show, and NFData instances
--------------------------------------------------------------------------------
fitSize n lt@(LeftTransformationMatrix m)
  | nrs >= n = lt
  | otherwise = LeftTransformationMatrix $ M.one (n-nrs) <> m
  where
    nrs = nmbRows m

--------------------------------------------------------------------------------
-- Eq, Show, and NFData instances
--------------------------------------------------------------------------------