\/

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