Agda.Syntax.Concrete.Name
data Name
data NamePart
data QName