{motive : IO.Error → Sort u} →
  (t : IO.Error) →
    t.ctorIdx = 13 →
      ((filename : Option String) →
          (osCode : UInt32) → (details : String) → motive (IO.Error.permissionDenied filename osCode details)) →
        motive t