Li-Fan Chen
says to
YSITD
對啦 我就是認為類型系統可以減輕負擔