\xs = [1, 2, 3];

# 1 | 2 | 3
\anyXs = foldLeft (|) (head xs) (tail xs);

# 1 & 2 & 3
\allXs = foldLeft (&) (head xs) (tail xs);

# Applies it to each element.
#   false | true | false
# becomes true.
\anyEven = allXs % 2 == 1;

# Same for anyEven.

\juncType = string | number;

# `string` is just an attribute set.
# So is `numbee`, and `check` is a child of both.
# So we lazily apply each one and when we reach the first true, we collapse our junction.
\isAnyOfTheseTypes = juncType.check 123;