Fish Wang
says to
YSITD
你看，驗證跟類型生成一次搞定了呢(?)