Union<TN> -> TN and TN -> Union<TN> casts