Agda.Syntax.Concrete
data Expr
data OpApp e
data AppView
data LamBinding
data TypedBindings
data TypedBinding
data BoundName
type Telescope
data Declaration
data ModuleApplication
type TypeSignature
type Constructor
type Field
data ImportDirective
data UsingOrHiding
data ImportedName
data Renaming
data AsName
data OpenShortHand
data LHS
data Pattern
data RHS
data WhereClause
data Pragma
type Module
data ThingWithFixity x