-- | ensure that the function is applied to the list
propApplyToList3 :: Int -> Int -> [Int] -> Property
propApplyToList3 n m xs = (0 <= n && n < length xs) ==> ((`at` n) . applyToList n (* m)) xs == ((* m) . (`at` n)) xs
propApplyToList3 :: Int -> Int -> [Int] -> Property
propApplyToList3 n m xs = (0 <= n && n < length xs) ==> ((`at` n) . applyToList n (* m)) xs == ((* m) . (`at` n)) xs
propApplyToList3 n m xs = (0 <= n && n < length xs) ==> ((`at` n) . applyToList n (* m)) xs == ((* m) . (`at` n)) xs