{motive : IO.Process.StdioConfig → Sort u} →
  (t : IO.Process.StdioConfig) →
    ((stdin stdout stderr : IO.Process.Stdio) → motive { stdin := stdin, stdout := stdout, stderr := stderr }) →
      motive t