Agda.TypeChecking.Serialise.Instances.Common

data SerialisedRange