Agda.Syntax.Concrete.Operators
parseApplication
parseModuleApplication
parseLHS
parsePattern
parsePatternSyn