Li-Fan Chen
says to
YSITD
我覺得應該可以單純就 type 層面去討論