data Expr
data OpApp e
data AppView
type LamBinding
data LamBinding' a
type TypedBindings
data TypedBindings' a
type TypedBinding
data TypedBinding' e
data ColoredTypedBinding
data BoundName
type Telescope
data Declaration
data ModuleApplication
type TypeSignature
type Constructor
data ImportDirective
data UsingOrHiding
data ImportedName
data Renaming
data AsName
data OpenShortHand
type RewriteEqn
type WithExpr
data LHS
data Pattern
data LHSCore
type RHS
data RHS' e
type WhereClause
data WhereClause' decls
data Pragma
type Module
data ThingWithFixity x
type Color
type Arg a
type NamedArg a
type ArgInfo