diff --git a/src/fable-library-py/fable_library/async_.py b/src/fable-library-py/fable_library/async_.py
index e33a223db..7e6437f36 100644
--- a/src/fable-library-py/fable_library/async_.py
+++ b/src/fable-library-py/fable_library/async_.py
@@ -104,7 +104,7 @@ def binder(_: Any | Unit = UNIT) -> Async[None]:
 
 def parallel[T](computations: IEnumerable_1[Async[T]]) -> Async[Array[T]]:
     def delayed() -> Async[Array[T]]:
-        tasks: Iterable[Awaitable[T]] = map(start_as_task, computations)  # type: ignore[arg-type]
+        tasks: Iterable[Awaitable[T]] = map(start_as_task, computations)  # type: ignore[arg-type]  # ty: ignore[invalid-assignment, invalid-argument-type]
         all: Future[list[T]] = asyncio.gather(*tasks)
 
         def to_array(results: list[T]) -> Async[Array[T]]:
diff --git a/src/fable-library-py/fable_library/bases.py b/src/fable-library-py/fable_library/bases.py
index c15237c97..fadae5cb2 100644
--- a/src/fable-library-py/fable_library/bases.py
+++ b/src/fable-library-py/fable_library/bases.py
@@ -71,10 +71,10 @@ class StringableBase:
     __slots__ = ()
 
     def __str__(self) -> str:
-        return self.ToString()  # type: ignore[attr-defined]
+        return self.ToString()  # type: ignore[attr-defined]  # ty: ignore[unresolved-attribute]
 
     def __repr__(self) -> str:
-        return self.ToString()  # type: ignore[attr-defined]
+        return self.ToString()  # type: ignore[attr-defined]  # ty: ignore[unresolved-attribute]
 
 
 class EquatableBase(ABC):
diff --git a/src/fable-library-py/fable_library/core/array.pyi b/src/fable-library-py/fable_library/core/array.pyi
index a501f3482..b4d0d5ece 100644
--- a/src/fable-library-py/fable_library/core/array.pyi
+++ b/src/fable-library-py/fable_library/core/array.pyi
@@ -74,7 +74,7 @@ class FSharpArray[T](MutableSequence[T]):
     # Instance methods (alphabetically sorted)
     def add_in_place(self, value: T) -> None: ...
     def add_range_in_place(self, values: Iterable[T]) -> None: ...
-    def append(self, array2: FSharpArray[T], cons: FSharpCons[T] | None = None) -> FSharpArray[T]: ...  # type: ignore[override]
+    def append(self, array2: FSharpArray[T], cons: FSharpCons[T] | None = None) -> FSharpArray[T]: ...  # type: ignore[override]  # ty: ignore[invalid-method-override]
     def average(self, averager: IGenericAverager[T]) -> T: ...
     def average_by[U](self, projection: Callable[[T], U], averager: IGenericAverager[U]) -> U: ...
     def choose[U](self, chooser: Callable[[T], Option[U]], cons: FSharpCons[U] | None = None) -> FSharpArray[U]: ...
diff --git a/src/fable-library-py/fable_library/int32.py b/src/fable-library-py/fable_library/int32.py
index becf748e5..55e511a8c 100644
--- a/src/fable-library-py/fable_library/int32.py
+++ b/src/fable-library-py/fable_library/int32.py
@@ -24,8 +24,8 @@ def div_rem[T: SupportsInt](x: T, y: T, out: FSharpRef[T]) -> T: ...
 
 def div_rem[T: SupportsInt](x: T, y: T, out: FSharpRef[T] | None = None) -> T | tuple[T, T]:
     # Rust wrapper types already use truncated division and remainder
-    q = x // y  # type: ignore[operator]
-    r = x % y  # type: ignore[operator]
+    q = x // y  # type: ignore[operator]  # ty: ignore[unsupported-operator]
+    r = x % y  # type: ignore[operator]  # ty: ignore[unsupported-operator]
     if out is None:
         return (q, r)
     out.contents = r