-- | @replaceInList i [xs!!i] xs == xs@
propReplaceInList1 :: [Int] -> Int -> Property
propReplaceInList1 xs j = length xs > 0 ==> replaceInList i [xs!!i] xs == xs where
    i = j `mod` length xs

-- | @replaceInList i []@ just removes the i-th element
propReplaceInList1 :: [Int] -> Int -> Property
propReplaceInList1 xs j = length xs > 0 ==> replaceInList i [xs!!i] xs == xs where
    i = j `mod` length xs

-- | @replaceInList i []@ just removes the i-th element
propReplaceInList1 xs j = length xs > 0 ==> replaceInList i [xs!!i] xs == xs where
    i = j `mod` length xs

-- | @replaceInList i []@ just removes the i-th element