Agda.Syntax.Info
data Info
data MetaInfo
data ExprInfo
data ModuleInfo
data LetInfo
data DefInfo
data DeclInfo
data LHSInfo
data PatInfo