型
型とは...
https://postd.cc/against-the-definition-of-types/