diff --git a/packages/rpc/src/Router.ts b/packages/rpc/src/Router.ts
index d830206..03f1a19 100644
--- a/packages/rpc/src/Router.ts
+++ b/packages/rpc/src/Router.ts
@@ -300,17 +300,17 @@ export const make: <
  * @since 1.0.0
  */
 export const provideLayer: {
-  <T extends Layer.Layer<any, any, any>>(layer: T): <
+  <T extends Layer<any, any, any>>(layer: T): <
     Router extends RpcRouter.Base
   >(
     self: Router
-  ) => RpcRouter.Provide<Router, Layer.Layer.Success<T>, never, never>
-  <Router extends RpcRouter.Base, T extends Layer.Layer<any, any, any>>(
+  ) => RpcRouter.Provide<Router, Layer.Success<T>, never, never>
+  <Router extends RpcRouter.Base, T extends Layer<any, any, any>>(
     self: Router,
     layer: T
-  ): RpcRouter.Provide<Router, Layer.Layer.Success<T>, never, never>
+  ): RpcRouter.Provide<Router, Layer.Success<T>, never, never>
 } =
- internal.provideLayer
+ internal.provideLayer as any
 
 /**
  * @category router combinators
diff --git a/packages/rpc/src/internal/router.ts b/packages/rpc/src/internal/router.ts
index d37b2b2..8d9a83b 100644
--- a/packages/rpc/src/internal/router.ts
+++ b/packages/rpc/src/internal/router.ts
@@ -56,13 +56,13 @@ export const provideLayer: {
   ): (self: Router) => RpcRouter.Provide<Router, Layer.Layer.Success<T>, R, E>
   <
     Router extends RpcRouter.Base,
+    T extends Layer.Layer<any, any, any>,
     R,
     E extends RpcService.Errors<Router['schema']>,
-    A
   >(
     self: Router,
-    layer: Layer.Layer<R, E, A>
-  ): RpcRouter.Provide<Router, Layer.Layer.Success<any>, R, E>
+    layer: T
+  ): RpcRouter.Provide<Router, Layer.Layer.Success<T>, R, E>
 } = dual(
   2,
   <Router extends RpcRouter.Base, T extends Layer.Layer<any, any, any>, R, E>(