data Expr
data OpApp e
data AppView
type LamBinding
data LamBinding' a
type TypedBindings
data TypedBindings' a
type TypedBinding
data TypedBinding' e
type RecordAssignment
type RecordAssignments
type FieldAssignment
data FieldAssignment' a
data ModuleAssignment
data BoundName
type Telescope
data Declaration
data ModuleApplication
type TypeSignature
type ImportDirective
type Using
type ImportedName
type 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 ExprWhere
data Pragma
type Module
data ThingWithFixity x