Does Perl6 support dependent types?
<p>I was recently looking at the <a href="https://en.wikipedia.org/wiki/Dependent_type#Comparison_of_languages_with_dependent_types" rel="noreferrer">wikipedia page for dependent types</a>, and I was wondering; does Perl 6 actually introduce dependent types? I can't seem to find a reliable source claiming that.</p>

<p>It might be obvious to some, but it sure as heck ain't obvious to me.</p>