Agda.TypeChecking.Serialise.Instances.Common