Agda.Syntax.Concrete.Operators.Parser
data ExprView e
class IsExpr e

Parser combinators