{motive : Lean.Firefox.ProfileMeta → Sort u} →
  ((interval startTime : Lean.Firefox.Milliseconds) →
      (categories : Array Lean.Firefox.Category) →
        (processType : ℕ) →
          (product : String) →
            (preprocessedProfileVersion : ℕ) →
              (markerSchema : Array Lean.Json) →
                (sampleUnits : Lean.Firefox.SampleUnits) →
                  motive
                    { interval := interval, startTime := startTime, categories := categories,
                      processType := processType, product := product,
                      preprocessedProfileVersion := preprocessedProfileVersion, markerSchema := markerSchema,
                      sampleUnits := sampleUnits }) →
    (t : Lean.Firefox.ProfileMeta) → motive t