This example describes pattern-matching of polymorphic variant types with `#` prefix, however, the example does not show its usage anywhere: 