類型 [3]