Li-Fan Chen
says to
YSITD
我覺得可以把因次的概念擴展成類型