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

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

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

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

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

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

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

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

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

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

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

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

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

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