See: <a href="/doc/reference/patterns/matching-by-token-category/reducible/">{@Reducible}</a>, <a href="/doc/reference/patterns/matching-by-token-category/introduction/">Introduction</a>