Agda.Interaction.Highlighting.Precise
data Aspect
data NameKind
data MetaInfo
data File