Characteristic predicate TypePatternExpr :: TypePatternExpr
TypePatternExpr
(
)