simplify Typing_union