∀ {cfg : IO.Process.StdioConfig} {stdin : cfg.stdin.toHandleType} {stdout : cfg.stdout.toHandleType}
  {stderr : cfg.stderr.toHandleType} {stdin_1 : cfg.stdin.toHandleType} {stdout_1 : cfg.stdout.toHandleType}
  {stderr_1 : cfg.stderr.toHandleType},
  { stdin := stdin, stdout := stdout, stderr := stderr } =
      { stdin := stdin_1, stdout := stdout_1, stderr := stderr_1 } →
    stdin = stdin_1 ∧ stdout = stdout_1 ∧ stderr = stderr_1