Agda.Syntax.IdiomBrackets
parseIdiomBrackets