Document the kind generalization behavior observed in #13555