Fish Wang
says to
YSITD
這種東西一個編譯器沒寫好，需要猜測的type數量就會用次方成長歐...