深さ部分型付け