一、类型构造之法律机能