Li-Fan Chen
says to
YSITD
容易用反而不太一定 有時候要實現某些東西比較強的型別系統反而比較好寫