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