propApplyToList1 :: Int -> Int -> [Int] -> Property
propApplyToList1 n m xs = (0 <= n && n < length xs) ==> length (applyToList n (* m) xs) == length xs
propApplyToList1 :: Int -> Int -> [Int] -> Property
propApplyToList1 n m xs = (0 <= n && n < length xs) ==> length (applyToList n (* m) xs) == length xs
propApplyToList1 n m xs = (0 <= n && n < length xs) ==> length (applyToList n (* m) xs) == length xs