Li-Fan Chen
says to
YSITD
我支持大部分的程式語言都要有 Sum Type 跟 Product type 還有 Typeclass (#