hoge :: (Int -> Int) -> Int