おお！！tagged union というものがあるんですね。ありがとうございまする！