根本的哲学的になぜ型というものが存在してるのか