-- | ensure that the identity does not change the list
propApplyToList2 :: Int -> [Int] -> Property
propApplyToList2 n xs = (0 <= n && n < length xs) ==> applyToList n id xs == xs
propApplyToList2 :: Int -> [Int] -> Property
propApplyToList2 n xs = (0 <= n && n < length xs) ==> applyToList n id xs == xs
propApplyToList2 n xs = (0 <= n && n < length xs) ==> applyToList n id xs == xs