How can I denote the set of types `Val{x}`

where `x`

is a `Symbol`

?

Something like `Val{S} where {S isa Symbol}`

, but this is not a legal expression. Is there a way to express such a `Union`

type in Julia?

This is a particular example of a parametric type union where the parameter is restricted to a set of values, instead of a set of types.