foo :: Int -> Int -> Int