やっぱUnion型に踏み込まないといけないよね