Li-Fan Chen
says to
YSITD
喔然後類型系統很強的 例如 Idris