The type of elements in the data structure
The type of tags used for pattern matching
Pattern matches against this data structure, applying handlers for each variant based on tag. Similar to fold but with stronger type safety for tag-based variants.
The return type is inferred from the pattern handlers when not explicitly specified.
The result of applying the matching handler function
Pattern matching interface for functional data types.