7.13. 类型分支

TODO