Agda.TypeChecking.Serialise.Instances.Common
data
SerialisedRange