7.13. 類型分支

TODO