kind推論