Li-Fan Chen
says to
YSITD
不用，他可以把他跟現在的 union type 分開