18.3 层超类型