Agda.Syntax.Abstract
data Expr
data Declaration
class GetDefInfo a
data ModuleApplication
data Pragma
data LetBinding
type TypeSignature
type Constructor
data LamBinding
data TypedBindings
data TypedBinding
type Telescope
data Clause
data RHS
data LHS
data Pattern' e
type Pattern
class AnyAbstract a