verify_even :: [Int] -> [Int]
verify_even (a:as) = if (a `mod` 2 == 0)
	then a : verify_even as
	else verify_even as

verify_odd :: [Int] -> [Int]
verify_odd (a:as) = if (a `mod`2 /= 0)
	then a : verify_odd as
	else verify_odd as

func :: ([Int] -> [Int]) -> [Int] -> [Int]
--func f [] = []
func f (a:as) = f (a:as)