My magic middlewares type

export type MiddlewareHandler<I = unknown, O extends I = I> = (
  req: Request,
  ctx: MiddlewareContext<I, O>,
) => Response | Promise<Response>;

type ExtractInput<T extends readonly MiddlewareHandler[]> = T[0] extends
  MiddlewareHandler<infer I> ? I : never;
type ExtractOutput<T extends readonly MiddlewareHandler[]> =
  T[T["length"]] extends MiddlewareHandler<infer _, infer O> ? O : never;

export function compose<T extends readonly MiddlewareHandler[]>(
  middlewares: T,
  handler: Handler<ExtractOutput<T>>,
): Handler<ExtractInput<T>> { ... }

export const auth = {
  "/logout": compose(
    [session(), authenticated()] as const,
    logout
  ),
  "/github": github
} satisfies Routes;

Argument of type 'readonly [MiddlewareHandler<unknown, SessionState>, MiddlewareHandler<SessionState, Required<SessionState>>]' is not assignable to parameter of type 'readonly MiddlewareHandler<unknown, unknown>[]'.
  Type 'MiddlewareHandler<unknown, SessionState> | MiddlewareHandler<SessionState, Required<SessionState>>' is not assignable to type 'MiddlewareHandler<unknown, unknown>'.
    Type 'MiddlewareHandler<SessionState, Required<SessionState>>' is not assignable to type 'MiddlewareHandler<unknown, unknown>'.
      Types of parameters 'ctx' and 'ctx' are incompatible.
        Type 'MiddlewareContext<unknown, unknown>' is not assignable to type 'MiddlewareContext<SessionState, Required<SessionState>>'.
          Property 'session' is missing in type 'MiddlewareContext<unknown, unknown>' but required in type 'Required<SessionState>'.deno-ts(2345)

[MiddlewareHandler<unknown, A>, MiddlewareHandler<A, B>, MiddlewareHandler<B, C>];
                            ^>------------------->^  ^>------------------->^