{motive : ProofWidgets.CancellableTask → Sort u} →
  (t : ProofWidgets.CancellableTask) →
    ((task : Task (Except Lean.Server.RequestError (ProofWidgets.LazyEncodable Lean.Json))) →
        (cancel : IO Unit) → motive { task := task, cancel := cancel }) →
      motive t