Type can be used as an epistemological tool to remedy the limitation of concept because in some circumstances it is more exoteric and realistic.

• 弥补这一点须依赖类型这一认识工具，某些情况下，类型更开放、更接近现实。