Fish Wang
says to
YSITD
type C = A|B 這種，把類型像數值一樣拿去計算組合的