Agda.Syntax.Abstract
data Expr
data Pragma
data LetBinding
data Definition
data LamBinding
type Telescope
data Clause
data RHS
data LHS
data Pattern' e
type Pattern