Li-Fan Chen
says to
YSITD
但其實你可以把 type 擺在 syntactic level