Li-Fan Chen
says to
YSITD
就 可以試著做到「如果一個語句的 type 能被正確求出，那麼這個句子不會有語法上的問題」