正类型

positive type