(motive : Lean.Compiler.LCNF.SpecParamInfo → Sort u_1) →
  (x : Lean.Compiler.LCNF.SpecParamInfo) →
    (Unit → motive (Lean.Compiler.LCNF.SpecParamInfo.fixedInst false)) →
      (Unit → motive Lean.Compiler.LCNF.SpecParamInfo.fixedHO) →
        (Unit → motive Lean.Compiler.LCNF.SpecParamInfo.user) →
          (Unit → motive (Lean.Compiler.LCNF.SpecParamInfo.fixedInst true)) →
            (Unit → motive Lean.Compiler.LCNF.SpecParamInfo.fixedNeutral) →
              (Unit → motive Lean.Compiler.LCNF.SpecParamInfo.other) → motive x