f :: [a] -> Bool -> Bool
f [] _ = False
f (x:xs) y = y
f (x:xs) y = y