Make subtype fn of <?> behaves like (</> (<Assortment> #f) ...)

[gengar]

(<?> <boolean>) は <boolean> のsubtypeになってくれませんが、 (</> (<Assortment> #f) <boolean>) は <boolean> のsubtypeになってくれます。 (subtype? (<?> <char>) (</> <boolean> <char>)) でも同じことが起きます。

gosh$ (subtype? (<?> <boolean>) <boolean>)
#f
gosh$ (subtype? (<?> <char>) (</> <boolean> <char>))
#f
gosh$ (subtype? (</> (<Assortment> #f) <boolean>) <boolean>)
#t
gosh$ (subtype? (</> (<Assortment> #f) <char>) (</> <boolean> <char>))
#t

そこで、 <?> の挙動を (</> (Assortment> #f) ...) に合わせてみました。いかがでしょう。

[shirok]

ああ、そうですね。つい Maybe T のように扱ってしまうのですが <?> は実体は#fだけを持つシングルトン型とのユニオン型ですね。