Extension methods of MatchCase.
MatchCase
Pattern P of case P => R in a MatchType.
P
case P => R
MatchType
RHS R of case P => R in a MatchType.
R