foo :: (Int -> Int) -> Bool