diff --git a/.changeset/minor-result-type-fixes.md b/.changeset/minor-result-type-fixes.md
new file mode 100644
index 00000000..009fabf7
--- /dev/null
+++ b/.changeset/minor-result-type-fixes.md
@@ -0,0 +1,5 @@
+---
+"@effect-atom/atom": patch
+---
+
+fix Result type signatures
diff --git a/packages/atom/src/Result.ts b/packages/atom/src/Result.ts
index eae8a4e8..881faa1a 100644
--- a/packages/atom/src/Result.ts
+++ b/packages/atom/src/Result.ts
@@ -136,7 +136,7 @@ export const fromExitWithPrevious = <A, E>(
  */
 export const waitingFrom = <A, E>(previous: Option.Option<Result<A, E>>): Result<A, E> => {
   if (previous._tag === "None") {
-    return initial(true)
+    return initial<A, E>(true)
   }
   return waiting(previous.value)
 }
@@ -413,7 +413,7 @@ export const map: {
  * @category combinators
  */
 export const flatMap: {
-  <A, E, B, E2>(f: (a: A, prev: Success<A, E>) => Result<A, E2>): (self: Result<A, E>) => Result<B, E | E2>
+  <A, E, B, E2>(f: (a: A, prev: Success<A, E>) => Result<B, E2>): (self: Result<A, E>) => Result<B, E | E2>
   <E, A, B, E2>(self: Result<A, E>, f: (a: A, prev: Success<A, E>) => Result<B, E2>): Result<B, E | E2>
 } = dual(2, <E, A, B, E2>(self: Result<A, E>, f: (a: A, prev: Success<A, E>) => Result<B, E2>): Result<B, E | E2> => {
   switch (self._tag) {
@@ -651,10 +651,6 @@ class BuilderImpl<Out, A, E> {
     refinement: Refinement<Result<A, E>, B>,
     f: (result: B) => Option.Option<C>
   ): any
-  when<C>(
-    refinement: Predicate<Result<A, E>>,
-    f: (result: Result<A, E>) => Option.Option<C>
-  ): any
   when<C>(
     refinement: Predicate<Result<A, E>>,
     f: (result: Result<A, E>) => Option.Option<C>