(motive : Except IO.Error IO.FS.Metadata → Sort u_1) →
  (__do_lift : Except IO.Error IO.FS.Metadata) →
    ((m : IO.FS.Metadata) → motive (Except.ok m)) → ((a : IO.Error) → motive (Except.error a)) → motive __do_lift