承「甲」而承「乙」而化（「甲」合「乙」）而「甲」

因为v0.1版本对于对子类型的自动匹配不完全，这些函数可以帮助类型检查 TODO：在v0.2版本中应当可以移除这些函数

承「甲」而承「乙」而化（「甲」合「乙」）而「乙」

暂无说明。

承「甲」而承「乙」而承「丙」而化（「甲」合「乙」）而化化「甲」而化「乙」而「丙」而「丙」

暂无说明。

承「甲」而承「乙」而承「丙」而承「丁」而化（「甲」合「乙」）而化化「甲」而「丙」而化化「乙」而「丁」而（「丙」合「丁」）

暂无说明。

承「甲」而承「乙」而承「丙」而化（「甲」合「乙」）而化化「甲」而「丙」而（「丙」合「乙」）

暂无说明。

承「甲」而承「乙」而承「丁」而化（「甲」合「乙」）而化化「乙」而「丁」而（「甲」合「丁」）

暂无说明。

承「甲」而承「乙」而化化「甲」而化「甲」而「爻」而化化「乙」而化「乙」而「爻」而化（「甲」合「乙」）而化（「甲」合「乙」）而「爻」

暂无说明。

承「甲」而承「乙」而化化「甲」而「字符串」而化化「乙」而「字符串」而化（「甲」合「乙」）而「字符串」

暂无说明。

承「甲」而承「乙」而承「丙」而化（「甲」合「乙」合「丙」）而「甲」

暂无说明。

承「甲」而承「乙」而承「丙」而化（「甲」合「乙」合「丙」）而「乙」

暂无说明。

承「甲」而承「乙」而承「丙」而化（「甲」合「乙」合「丙」）而「丙」

暂无说明。