統一的な一般論があれば、Intをその統一した型に適合して完了だと思ったのです