12.3 嵌套合成