Li-Fan Chen says to YSITD
至少在可以簡單 implement 的種類當中