单纯的类型