f# - 値によって再帰的な識別共用体を行う方法は?

Question

F# では、型と値の両方に基づいて判別共用体を持つことは可能ですか?

これは、構文がどのように見えるべきかを知らずにこれを表現しようとする試みです。

type Foo =
    | A of int * Foo
    | B of string where B.name = "1" * Foo
    | C of string where C.name = "2" * Foo
    | Empty