{motive : Lean.BinderInfo → Sort u} →
  (t : Lean.BinderInfo) →
    motive Lean.BinderInfo.implicit →
      motive Lean.BinderInfo.strictImplicit →
        motive Lean.BinderInfo.instImplicit → (Nat.hasNotBit 14 t.ctorIdx → motive t) → motive t