The | junctions seem a lot like sets to me, though I guess there is a lot of fancy you can use. One that comes to mind is that you can pretend that it is a single value, even if it is a complex junction of &amp; and | things:<p><pre><code>    &gt; (5|4) + 1
    any(6, 5)
    &gt; (5&amp;4) + 1
    all(6, 5)
    &gt; my $x = 5|4|3|2
    any(5, 4, 3, 2)
    &gt; say &quot;yep!&quot; if $x + 2 ~~ 7
    yep!
    &gt; ((2|3|4|5|6|7) &amp; (3|4)) + 1 ~~ 5
    True
    &gt; ((2|3|4|5|6|7) &amp; (3|4)) + 1 ~~ 6
    False
</code></pre>
Kinda weird, especially &amp; junctions. The docs[1] say &quot;Junctions are meant to be used as matchers in boolean context; introspection of junctions is not supported. If you feel the urge to introspect a junction, use a Set or a related type instead.&quot;<p>So far in my Perl 6 exploration I don&#x27;t think I&#x27;ve used&#x2F;needed junctions -- strikes me as a specific sort of use-case, but maybe familiarity would help me spot more (useful) opportunities.<p>[1] <a href="http:&#x2F;&#x2F;doc.perl6.org&#x2F;type&#x2F;Junction" rel="nofollow">http:&#x2F;&#x2F;doc.perl6.org&#x2F;type&#x2F;Junction</a>, though like all P6 docs needs more contributions