diff --git a/.changeset/strong-pumpkins-rescue.md b/.changeset/strong-pumpkins-rescue.md
new file mode 100644
index 0000000000..f25077463e
--- /dev/null
+++ b/.changeset/strong-pumpkins-rescue.md
@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+feat(Stream): implement Success, Error, Context type accessors
diff --git a/packages/effect/src/Stream.ts b/packages/effect/src/Stream.ts
index 9f2b2adf77..d6b954b2ec 100644
--- a/packages/effect/src/Stream.ts
+++ b/packages/effect/src/Stream.ts
@@ -119,6 +119,24 @@ export declare namespace Stream {
     }
   }
 
+  /**
+   * @since 3.4.0
+   * @category type-level
+   */
+  export type Success<T extends Stream<any, any, any>> = [T] extends [Stream<infer _A, infer _E, infer _R>] ? _A : never
+
+  /**
+   * @since 3.4.0
+   * @category type-level
+   */
+  export type Error<T extends Stream<any, any, any>> = [T] extends [Stream<infer _A, infer _E, infer _R>] ? _E : never
+
+  /**
+   * @since 3.4.0
+   * @category type-level
+   */
+  export type Context<T extends Stream<any, any, any>> = [T] extends [Stream<infer _A, infer _E, infer _R>] ? _R : never
+
   /**
    * @since 2.0.0
    * @category models