↑べた書きすればこういう感じです。実際にはIntOrStringではなくこのIntとStringが満たしたい共通の性質を表したもっとよい名前のほうがいいですね。