-- | ensure that the rest of the list is not changed
propApplyToList4 :: Int -> Int -> [Int] -> Property
propApplyToList4 n m xs = (0 <= n && n < length xs) ==> (replaceInList n [] . applyToList n (* m)) xs == replaceInList n [] xs
propApplyToList4 :: Int -> Int -> [Int] -> Property
propApplyToList4 n m xs = (0 <= n && n < length xs) ==> (replaceInList n [] . applyToList n (* m)) xs == replaceInList n [] xs
propApplyToList4 n m xs = (0 <= n && n < length xs) ==> (replaceInList n [] . applyToList n (* m)) xs == replaceInList n [] xs