Agda.Interaction.Highlighting.Range
data Range