Agda.Utils.Haskell.Syntax
data Module
data ModulePragma
data ImportDecl
data ImportSpec
data Decl
data DataOrNew
data ConDecl
type Deriving
data Binds
data Rhs
data GuardedRhs
data Match
data Type
data Pat
data Stmt
data Exp
data Alt
data Literal
data ModuleName
data QName
data Name
data QOp
data TyVarBind