Agda.Syntax.Internal.Pattern
data OneHolePatterns
data OneHolePattern
plugHole
allHoles
allHolesWithContents