Li-Fan Chen
says to
YSITD
光是 union type 長那樣就很奇怪了