Li-Fan Chen says to YSITD
compiler 會判斷 type ㄇ