seems like that

Author: romanmatveevsky

returns/methods/partition.py

@@ -1,17 +1,16 @@
 
 from typing import Iterable, List, TypeVar
 
-from returns.interfaces.specific import  result
+from returns.interfaces.unwrappable import Unwrappable
 from returns.primitives.exceptions import UnwrapFailedError
 
 _ValueType = TypeVar('_ValueType', covariant=True)
 _ErrorType = TypeVar('_ErrorType', covariant=True)
-_AdditionalType = TypeVar('_AdditionalType')
 
 
 def partition(
     containers: Iterable[
-        result.UnwrappableResult[_ValueType, _ErrorType, _AdditionalType, _ValueType, _ErrorType],
+        Unwrappable[_ValueType, _ErrorType],
     ],
 ) -> tuple[List[_ValueType], List[_ErrorType]]:
     """
@@ -28,8 +27,8 @@ def partition(
         ([1, 3], [2, 4])
 
     """
-    successes = []
-    failures = []
+    successes: list[_ValueType] = []
+    failures: list[_ErrorType] = []
     for container in containers:
         try:
             successes.append(container.unwrap())

typesafety/test_methods/test_partition.yml

@@ -17,5 +17,5 @@
     from returns.io import IO, IOResult, IOSuccess
 
     x: Tuple[IOResult[int, str], IOResult[int, str]]
-    reveal_type(partition(x))  # N: Revealed type is "Tuple[builtins.list[IO[builtin.int]], builtins.list[IO[builtin.str]]"
+    reveal_type(partition(x))  # N: Revealed type is "Tuple[builtins.list[returns.io.IO[builtins.int]], builtins.list[returns.io.IO[builtins.str]]]"