Type for making type-level lists for UnionType.
If second parameter is another \/ it will be flattend out into a list
and so on. Using infix notation makes much more sense since it then
looks like a logical disjunction.
Foo \/ Bar \/ Baz is interpreted as type Foo or type Bar or type Baz
Type for making type-level lists for UnionType. If second parameter is another \/ it will be flattend out into a list and so on. Using infix notation makes much more sense since it then looks like a logical disjunction.
Foo \/ Bar \/ Baz
is interpreted as type Foo or type Bar or type Baz