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