Agda.TypeChecking.Patterns.Match
data Match a
foldMatch
matchCopatterns
matchCopattern
matchPatterns
matchPattern
yesSimplification