Agda.Syntax.Abstract
data Expr
data Declaration
data Pragma
data LetBinding
data Definition
type TypeSignature
type Constructor
data LamBinding
data TypedBindings
data TypedBinding
type Telescope
data Clause
data RHS
data LHS
data Pattern' e
type Pattern