Defining a Recursive Union with Literals and Arrays

Is there a way to define a recursive union? I am trying to represent a union of a few different literals, as well as an array of those literals.