Agda.TypeChecking.Patterns.Match
data
Match
matchPatterns
matchPattern