Variable VariantConst

Variant: {
    Just: "Just";
    Nothing: "Nothing";
} = ...

Discriminant for the Just and Nothing type instances.

You can use the discriminant via the variant property of Maybe instances if you need to match explicitly on it.