Agda.Syntax.Abstract.Name
data Name
data QName
data ModuleName