Li-Fan Chen
says to
YSITD
可以不同型別跟沒有類型系統根本沒兩樣