The type of values a pattern matches: the phantom type of a combinator, the literal type of a primitive, and unknown for composite patterns.
unknown
The type of values a pattern matches: the phantom type of a combinator, the literal type of a primitive, and
unknownfor composite patterns.