Declarations for the unions the checker proves are discriminated (D4, §4.5(2)): an F# DU of one payload per case, erased by Fable back to the object - `Circle(radius = 2.0)` becomes `{ kind: "circle", radius: 2 }`. An arm that is not plain data is left to `shape-aliases`.