型で保証できない範囲はどこまでいってもグレーじゃないですか？