您即将离开知乎，请注意您的账号和财产安全。
https://cs.stackexchange.com/questions/81112/why-product-type-is-a-dependent-sum/
