化「元类型」而「元类型」

现代汉语：类型构造器：给定元素类型，构成可有或可无的可选类型，不创建具体元素。 文言：受物类而成可有可无之类，非造其物。 七言绝句： 先开双室待珍藏， 一室空明一室光。 有物无物皆有位， 任凭来者定其章。

承「甲」而化「甲」而（「或可有」于「甲」）

现代汉语：将一个值包装为对应类型的可选值，表示确实有值。 文言：裹所授物为可有，以明其存。 七言绝句： 明珠入匣系红签， 有物分明记外边。 待到来人开却后， 原光仍照掌中圆。

承「甲」而（「或可有」于「甲」）

现代汉语：构造指定元素类型的空可选值，不携带元素。 文言：依所授类成可无，不藏其物。 七言绝句： 空函有记到君前， 未得珍珠也可传。 不是遗书无消息， 无中自有一言全。

承「甲」而化（「或可有」于「甲」）而「甲」

现代汉语：取出可有中的值；传入可无时抛出事故。 文言：有则取其物，无则告事故。 七言绝句： 探匣寻珠启玉扉， 珠存掌上照清辉。 空箱莫作珍藏取， 一声相告止人归。

承「甲」而承「乙」而化（「或可有」于「甲」）而化化「甲」而「乙」而（「或可有」于「乙」）

现代汉语：对可有中的值应用函数并重新包装，可无保持可无。 文言：有则施射于物而裹之，无则仍无。 七言绝句： 匣中有玉琢成章， 空匣依然守旧藏。 莫向无中强生物， 只随所有换新光。

承「甲」而化（「或可有」于「甲」）而「爻」

现代汉语：判断可选值是否为可有，不取出内容。 文言：辨其有无，不取其物。 七言绝句： 但问匣中有物无， 无须探取匣中珠。 一开名目知虚实， 不改其中旧画图。

承「甲」而化化「甲」而化「甲」而「爻」而化（「或可有」于「甲」）而化（「或可有」于「甲」）而「爻」

现代汉语：用给定比较函数比较两个可有的内容；两个可无相等，一有一无不等。 文言：皆有则以所授法校物，皆无则同，一有一无则异。 七言绝句： 双匣藏珠按玉衡， 俱空亦可许同声。 一边有物一边寂， 纵未开箱已两程。