diff --git a/.changeset/quick-rice-rhyme.md b/.changeset/quick-rice-rhyme.md
new file mode 100644
index 0000000..147e7ac
--- /dev/null
+++ b/.changeset/quick-rice-rhyme.md
@@ -0,0 +1,5 @@
+---
+"@effect-rx/rx": patch
+---
+
+add inference helpers
diff --git a/flake.lock b/flake.lock
index ac93dfe..1aa6da9 100644
--- a/flake.lock
+++ b/flake.lock
@@ -5,11 +5,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1687709756,
-        "narHash": "sha256-Y5wKlQSkgEK2weWdOu4J3riRd+kV/VCgHsqLNTTWQ/0=",
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "dbabf0ca0c0c4bce6ea5eaf65af5cb694d2082c7",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
         "type": "github"
       },
       "original": {
@@ -20,11 +20,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1687793116,
-        "narHash": "sha256-6xRgZ2E9r/BNam87vMkHJ/0EPTTKzeNwhw3abKilEE4=",
+        "lastModified": 1715037484,
+        "narHash": "sha256-OUt8xQFmBU96Hmm4T9tOWTu4oCswCzoVl+pxSq/kiFc=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "9e4e0807d2142d17f463b26a8b796b3fe20a3011",
+        "rev": "ad7efee13e0d216bf29992311536fce1d3eefbef",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 4beb536..e74df65 100644
--- a/flake.nix
+++ b/flake.nix
@@ -17,14 +17,17 @@
   }:
     flake-utils.lib.eachDefaultSystem (system: let
       pkgs = nixpkgs.legacyPackages.${system};
+      corepackEnable = pkgs.runCommand "corepack-enable" {} ''
+        mkdir -p $out/bin
+        ${pkgs.nodejs-18_x}/bin/corepack enable --install-directory $out/bin
+      '';
     in {
       formatter = pkgs.alejandra;
-
       devShells = {
         default = pkgs.mkShell {
           buildInputs = with pkgs; [
-            nodejs-18_x
-            nodePackages.pnpm
+            nodejs_22
+            corepackEnable
           ];
         };
       };
diff --git a/package.json b/package.json
index 982f5a2..1af9696 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "private": true,
-  "packageManager": "pnpm@8.10.0",
+  "packageManager": "pnpm@9.1.0",
   "workspaces": [
     "packages/*"
   ],
diff --git a/packages/rx/src/Rx.ts b/packages/rx/src/Rx.ts
index 6703b5c..f46166a 100644
--- a/packages/rx/src/Rx.ts
+++ b/packages/rx/src/Rx.ts
@@ -130,6 +130,21 @@ export declare namespace Rx {
    * @since 1.0.0
    */
   export type Infer<T extends Rx<any>> = T extends Rx<infer A> ? A : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type InferSuccess<T extends Rx<any>> = T extends Rx<Result.Result<infer A, infer _>> ? A : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type InferPullSuccess<T extends Rx<any>> = T extends Rx<PullResult<infer A, infer _>> ? A : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type InferFailure<T extends Rx<any>> = T extends Rx<Result.Result<infer _, infer E>> ? E : never
 }
 
 /**