三、类型构造之典型模式