diff --git a/Sources/ComposableArchitecture/Internal/KeyPath+Sendable.swift b/Sources/ComposableArchitecture/Internal/KeyPath+Sendable.swift
index cec9e1672ef5..aa6cc0c2c767 100644
--- a/Sources/ComposableArchitecture/Internal/KeyPath+Sendable.swift
+++ b/Sources/ComposableArchitecture/Internal/KeyPath+Sendable.swift
@@ -1,20 +1,27 @@
 #if compiler(>=6)
-  public typealias _AnyKeyPath = any AnyKeyPath & Sendable
-  public typealias _PartialKeyPath<Root> = any PartialKeyPath<Root> & Sendable
-  public typealias _KeyPath<Root, Value> = any KeyPath<Root, Value> & Sendable
-  public typealias _WritableKeyPath<Root, Value> = any WritableKeyPath<Root, Value> & Sendable
-  public typealias _ReferenceWritableKeyPath<Root, Value> = any ReferenceWritableKeyPath<
+  public typealias _SendableAnyKeyPath = any AnyKeyPath & Sendable
+  public typealias _SendablePartialKeyPath<Root> = any PartialKeyPath<Root> & Sendable
+  public typealias _SendableKeyPath<Root, Value> = any KeyPath<Root, Value> & Sendable
+  public typealias _SendableWritableKeyPath<Root, Value> = any WritableKeyPath<Root, Value> & Sendable
+  public typealias _SendableReferenceWritableKeyPath<Root, Value> = any ReferenceWritableKeyPath<
     Root, Value
   >
     & Sendable
-  public typealias _PartialCaseKeyPath<Root> = any PartialCaseKeyPath<Root> & Sendable
-  public typealias _CaseKeyPath<Root, Value> = any CaseKeyPath<Root, Value> & Sendable
+  public typealias _SendablePartialCaseKeyPath<Root> = any PartialCaseKeyPath<Root> & Sendable
+  public typealias _SendableCaseKeyPath<Root, Value> = any CaseKeyPath<Root, Value> & Sendable
 #else
-  public typealias _AnyKeyPath = AnyKeyPath
-  public typealias _PartialKeyPath<Root> = PartialKeyPath<Root>
-  public typealias _KeyPath<Root, Value> = KeyPath<Root, Value>
-  public typealias _WritableKeyPath<Root, Value> = WritableKeyPath<Root, Value>
-  public typealias _ReferenceWritableKeyPath<Root, Value> = ReferenceWritableKeyPath<Root, Value>
-  public typealias _PartialCaseKeyPath<Root> = PartialCaseKeyPath<Root>
-  public typealias _CaseKeyPath<Root, Value> = CaseKeyPath<Root, Value>
+  public typealias _SendableAnyKeyPath = AnyKeyPath
+  public typealias _SendablePartialKeyPath<Root> = PartialKeyPath<Root>
+  public typealias _SendableKeyPath<Root, Value> = KeyPath<Root, Value>
+  public typealias _SendableWritableKeyPath<Root, Value> = WritableKeyPath<Root, Value>
+  public typealias _SendableReferenceWritableKeyPath<Root, Value> = ReferenceWritableKeyPath<Root, Value>
+  public typealias _SendablePartialCaseKeyPath<Root> = PartialCaseKeyPath<Root>
+  public typealias _SendableCaseKeyPath<Root, Value> = CaseKeyPath<Root, Value>
 #endif
+
+@_transparent
+func sendableKeyPath(
+  _ keyPath: AnyKeyPath
+) -> _SendableAnyKeyPath {
+  unsafeBitCast(keyPath, to: _SendableAnyKeyPath.self)
+}
diff --git a/Sources/ComposableArchitecture/Observation/Binding+Observation.swift b/Sources/ComposableArchitecture/Observation/Binding+Observation.swift
index 7f5fcdb4e8ea..3df621fce49c 100644
--- a/Sources/ComposableArchitecture/Observation/Binding+Observation.swift
+++ b/Sources/ComposableArchitecture/Observation/Binding+Observation.swift
@@ -58,7 +58,7 @@ extension UIBindable {
 
 extension BindingAction {
   public static func set<Value: Equatable & Sendable>(
-    _ keyPath: _WritableKeyPath<Root, Value>,
+    _ keyPath: _SendableWritableKeyPath<Root, Value>,
     _ value: Value
   ) -> Self where Root: ObservableState {
     .init(
@@ -116,7 +116,7 @@ extension BindingAction {
 
 extension BindableAction where State: ObservableState {
   fileprivate static func set<Value: Equatable & Sendable>(
-    _ keyPath: _WritableKeyPath<State, Value>,
+    _ keyPath: _SendableWritableKeyPath<State, Value>,
     _ value: Value,
     isInvalidated: (@MainActor @Sendable () -> Bool)?
   ) -> Self {
@@ -150,7 +150,7 @@ extension BindableAction where State: ObservableState {
   }
 
   public static func set<Value: Equatable & Sendable>(
-    _ keyPath: _WritableKeyPath<State, Value>,
+    _ keyPath: _SendableWritableKeyPath<State, Value>,
     _ value: Value
   ) -> Self {
     self.set(keyPath, value, isInvalidated: nil)
@@ -159,7 +159,7 @@ extension BindableAction where State: ObservableState {
 
 extension Store where State: ObservableState, Action: BindableAction, Action.State == State {
   public subscript<Value: Equatable & Sendable>(
-    dynamicMember keyPath: _WritableKeyPath<State, Value>
+    dynamicMember keyPath: _SendableWritableKeyPath<State, Value>
   ) -> Value {
     get { self.state[keyPath: keyPath] }
     set {
@@ -195,7 +195,7 @@ where
   Action.ViewAction.State == State
 {
   public subscript<Value: Equatable & Sendable>(
-    dynamicMember keyPath: _WritableKeyPath<State, Value>
+    dynamicMember keyPath: _SendableWritableKeyPath<State, Value>
   ) -> Value {
     get { self.state[keyPath: keyPath] }
     set {
diff --git a/Sources/ComposableArchitecture/Reducer/Reducers/PresentationReducer.swift b/Sources/ComposableArchitecture/Reducer/Reducers/PresentationReducer.swift
index 5c41179b0778..c49a13237f9b 100644
--- a/Sources/ComposableArchitecture/Reducer/Reducers/PresentationReducer.swift
+++ b/Sources/ComposableArchitecture/Reducer/Reducers/PresentationReducer.swift
@@ -293,7 +293,7 @@ extension PresentationAction: CasePathable {
     }
 
     public subscript<AppendedAction>(
-      dynamicMember keyPath: _CaseKeyPath<Action, AppendedAction>
+      dynamicMember keyPath: _SendableCaseKeyPath<Action, AppendedAction>
     ) -> AnyCasePath<PresentationAction, AppendedAction>
     where Action: CasePathable {
       AnyCasePath<PresentationAction, AppendedAction>(
@@ -307,7 +307,7 @@ extension PresentationAction: CasePathable {
 
     @_disfavoredOverload
     public subscript<AppendedAction>(
-      dynamicMember keyPath: _CaseKeyPath<Action, AppendedAction>
+      dynamicMember keyPath: _SendableCaseKeyPath<Action, AppendedAction>
     ) -> AnyCasePath<PresentationAction, PresentationAction<AppendedAction>>
     where Action: CasePathable {
       AnyCasePath<PresentationAction, PresentationAction<AppendedAction>>(
diff --git a/Sources/ComposableArchitecture/SharedState/PersistenceKey/AppStorageKeyPathKey.swift b/Sources/ComposableArchitecture/SharedState/PersistenceKey/AppStorageKeyPathKey.swift
index 39bf78864f29..5a14e0aefbc9 100644
--- a/Sources/ComposableArchitecture/SharedState/PersistenceKey/AppStorageKeyPathKey.swift
+++ b/Sources/ComposableArchitecture/SharedState/PersistenceKey/AppStorageKeyPathKey.swift
@@ -15,7 +15,7 @@ extension PersistenceReaderKey {
   /// - Parameter key: A string key identifying a value to share in memory.
   /// - Returns: A persistence key.
   public static func appStorage<Value>(
-    _ keyPath: _ReferenceWritableKeyPath<UserDefaults, Value>
+    _ keyPath: _SendableReferenceWritableKeyPath<UserDefaults, Value>
   ) -> Self where Self == AppStorageKeyPathKey<Value> {
     AppStorageKeyPathKey(keyPath)
   }
@@ -25,10 +25,10 @@ extension PersistenceReaderKey {
 ///
 /// See ``PersistenceReaderKey/appStorage(_:)-5jsie`` to create values of this type.
 public struct AppStorageKeyPathKey<Value: Sendable>: Sendable {
-  private let keyPath: _ReferenceWritableKeyPath<UserDefaults, Value>
+  private let keyPath: _SendableReferenceWritableKeyPath<UserDefaults, Value>
   private let store: UncheckedSendable<UserDefaults>
 
-  public init(_ keyPath: _ReferenceWritableKeyPath<UserDefaults, Value>) {
+  public init(_ keyPath: _SendableReferenceWritableKeyPath<UserDefaults, Value>) {
     @Dependency(\.defaultAppStorage) var store
     self.keyPath = keyPath
     self.store = UncheckedSendable(store)
diff --git a/Sources/ComposableArchitecture/SharedState/Shared.swift b/Sources/ComposableArchitecture/SharedState/Shared.swift
index 83b8ad5ee10f..5af933b2082b 100644
--- a/Sources/ComposableArchitecture/SharedState/Shared.swift
+++ b/Sources/ComposableArchitecture/SharedState/Shared.swift
@@ -14,9 +14,9 @@ import IssueReporting
 @propertyWrapper
 public struct Shared<Value: Sendable>: Sendable {
   private let reference: any Reference
-  private let keyPath: _AnyKeyPath
+  private let keyPath: _SendableAnyKeyPath
 
-  init(reference: any Reference, keyPath: _AnyKeyPath) {
+  init(reference: any Reference, keyPath: _SendableAnyKeyPath) {
     self.reference = reference
     self.keyPath = keyPath
   }
@@ -64,10 +64,9 @@ public struct Shared<Value: Sendable>: Sendable {
       reference: base.reference,
       // NB: Can get rid of bitcast when this is fixed:
       //     https://github.com/swiftlang/swift/issues/75531
-      keyPath: unsafeBitCast(
+      keyPath: sendableKeyPath(
         (base.keyPath as AnyKeyPath)
-          .appending(path: \Value?.[default: DefaultSubscript(initialValue)])!,
-        to: _AnyKeyPath.self
+          .appending(path: \Value?.[default: DefaultSubscript(initialValue)])!
       )
     )
   }
@@ -180,9 +179,8 @@ public struct Shared<Value: Sendable>: Sendable {
       reference: self.reference,
       // NB: Can get rid of bitcast when this is fixed:
       //     https://github.com/swiftlang/swift/issues/75531
-      keyPath: unsafeBitCast(
-        (self.keyPath as AnyKeyPath).appending(path: keyPath)!,
-        to: _AnyKeyPath.self
+      keyPath: sendableKeyPath(
+        (self.keyPath as AnyKeyPath).appending(path: keyPath)!
       )
     )
   }
@@ -463,9 +461,8 @@ extension Shared {
       reference: self.reference,
       // NB: Can get rid of bitcast when this is fixed:
       //     https://github.com/swiftlang/swift/issues/75531
-      keyPath: unsafeBitCast(
-        (self.keyPath as AnyKeyPath).appending(path: keyPath)!,
-        to: _AnyKeyPath.self
+      keyPath: sendableKeyPath(
+        (self.keyPath as AnyKeyPath).appending(path: keyPath)!
       )
     )
   }
diff --git a/Sources/ComposableArchitecture/SwiftUI/Binding.swift b/Sources/ComposableArchitecture/SwiftUI/Binding.swift
index 5d19a605edc2..23613536c148 100644
--- a/Sources/ComposableArchitecture/SwiftUI/Binding.swift
+++ b/Sources/ComposableArchitecture/SwiftUI/Binding.swift
@@ -144,7 +144,7 @@ extension BindingState: Sendable where Value: Sendable {}
 ///
 /// Read <doc:Bindings> for more information.
 public struct BindingAction<Root>: CasePathable, Equatable, Sendable {
-  public let keyPath: _PartialKeyPath<Root>
+  public let keyPath: _SendablePartialKeyPath<Root>
 
   @usableFromInline
   let set: @Sendable (inout Root) -> Void
@@ -152,7 +152,7 @@ public struct BindingAction<Root>: CasePathable, Equatable, Sendable {
   let valueIsEqualTo: @Sendable (Any) -> Bool
 
   init(
-    keyPath: _PartialKeyPath<Root>,
+    keyPath: _SendablePartialKeyPath<Root>,
     set: @escaping @Sendable (inout Root) -> Void,
     value: any Sendable,
     valueIsEqualTo: @escaping @Sendable (Any) -> Bool
@@ -174,7 +174,7 @@ public struct BindingAction<Root>: CasePathable, Equatable, Sendable {
   @dynamicMemberLookup
   public struct AllCasePaths {
     public subscript<Value: Equatable & Sendable>(
-      dynamicMember keyPath: _WritableKeyPath<Root, Value>
+      dynamicMember keyPath: _SendableWritableKeyPath<Root, Value>
     ) -> AnyCasePath<BindingAction, Value> where Root: ObservableState {
       AnyCasePath(
         embed: { .set(keyPath, $0) },
@@ -183,7 +183,7 @@ public struct BindingAction<Root>: CasePathable, Equatable, Sendable {
     }
 
     public subscript<Value: Equatable & Sendable>(
-      dynamicMember keyPath: _WritableKeyPath<Root, BindingState<Value>>
+      dynamicMember keyPath: _SendableWritableKeyPath<Root, BindingState<Value>>
     ) -> AnyCasePath<BindingAction, Value> {
       AnyCasePath(
         embed: { .set(keyPath, $0) },
@@ -204,7 +204,7 @@ extension BindingAction {
   /// - Returns: An action that describes simple mutations to some root state at a writable key
   ///   path.
   public static func set<Value: Equatable & Sendable>(
-    _ keyPath: _WritableKeyPath<Root, BindingState<Value>>,
+    _ keyPath: _SendableWritableKeyPath<Root, BindingState<Value>>,
     _ value: Value
   ) -> Self {
     return .init(
@@ -234,7 +234,7 @@ extension BindingAction {
   }
 
   init<Value: Equatable & Sendable>(
-    keyPath: _WritableKeyPath<Root, BindingState<Value>>,
+    keyPath: _SendableWritableKeyPath<Root, BindingState<Value>>,
     set: @escaping @Sendable (_ state: inout Root) -> Void,
     value: Value
   ) {
@@ -290,7 +290,7 @@ extension BindableAction {
   ///
   /// - Returns: A binding action.
   public static func set<Value: Equatable & Sendable>(
-    _ keyPath: _WritableKeyPath<State, BindingState<Value>>,
+    _ keyPath: _SendableWritableKeyPath<State, BindingState<Value>>,
     _ value: Value
   ) -> Self {
     self.binding(.set(keyPath, value))
@@ -299,7 +299,7 @@ extension BindableAction {
 
 extension ViewStore where ViewAction: BindableAction, ViewAction.State == ViewState {
   public subscript<Value: Equatable & Sendable>(
-    dynamicMember keyPath: _WritableKeyPath<ViewState, BindingState<Value>>
+    dynamicMember keyPath: _SendableWritableKeyPath<ViewState, BindingState<Value>>
   ) -> Binding<Value> {
     self.binding(
       get: { $0[keyPath: keyPath].wrappedValue },
@@ -454,7 +454,7 @@ public struct BindingViewStore<State> {
   }
 
   public subscript<Value: Equatable & Sendable>(
-    dynamicMember keyPath: _WritableKeyPath<State, BindingState<Value>>
+    dynamicMember keyPath: _SendableWritableKeyPath<State, BindingState<Value>>
   ) -> BindingViewState<Value> {
     BindingViewState(
       binding: ViewStore(self.store, observe: { $0[keyPath: keyPath].wrappedValue })
diff --git a/Sources/ComposableArchitecture/TestStore.swift b/Sources/ComposableArchitecture/TestStore.swift
index caa68f5c1e43..5864827c3525 100644
--- a/Sources/ComposableArchitecture/TestStore.swift
+++ b/Sources/ComposableArchitecture/TestStore.swift
@@ -1918,7 +1918,7 @@ extension TestStore where State: Equatable {
   @_disfavoredOverload
   @available(iOS 16, macOS 13, tvOS 16, watchOS 9, *)
   public func receive<Value: Equatable & Sendable>(
-    _ actionCase: _CaseKeyPath<Action, Value>,
+    _ actionCase: _SendableCaseKeyPath<Action, Value>,
     _ value: Value,
     timeout duration: Duration,
     assert updateStateToExpectedResult: ((_ state: inout State) throws -> Void)? = nil,
diff --git a/Tests/ComposableArchitectureTests/AppStorageTests.swift b/Tests/ComposableArchitectureTests/AppStorageTests.swift
index 044ad9814ab7..0cd414a91e22 100644
--- a/Tests/ComposableArchitectureTests/AppStorageTests.swift
+++ b/Tests/ComposableArchitectureTests/AppStorageTests.swift
@@ -285,7 +285,7 @@ final class AppStorageTests: XCTestCase {
     await fulfillment(of: [perceptionExpectation, publisherExpectation], timeout: 1)
   }
 
-  func testUpdateStoreFromBackgroundThread_KeyPath() async throws {
+  func testUpdateStoreFromBackgroundThread_SendableKeyPath() async throws {
     @Dependency(\.defaultAppStorage) var store
     @Shared(.appStorage(\.count)) var count = 0
 
diff --git a/Tests/ComposableArchitectureTests/EffectTests.swift b/Tests/ComposableArchitectureTests/EffectTests.swift
index d821a5bb352b..bcee7ad81364 100644
--- a/Tests/ComposableArchitectureTests/EffectTests.swift
+++ b/Tests/ComposableArchitectureTests/EffectTests.swift
@@ -50,6 +50,7 @@ final class EffectTests: BaseTCATestCase {
     await withMainSerialExecutor {
       let values = LockIsolated<[Int]>([])
 
+
       let effect = Effect<Int>.concatenate(
         .publisher { Just(1).delay(for: 1, scheduler: self.mainQueue) }
       )