12.类型学