programación funcional - ¿Cómo escribo un compositor de funciones genérico y aplico funciones genéricas de extracción de tuplas (primero, segundo) en TypeScript?

No estoy seguro de qué estoy haciendo mal aquí:

const first  = <A>([a]: [A, unknown]) => a

const second  = <B>([,b]: [unknown, B]) => b

const tuple = <A>(a: A) => <B>(b: B): [A, B] => [a, b]

type F<A, B> = (a: A) => B

const compose = <B, C>(f: F<B, C>) => <A>(g: F<A, B>) => (a: A) =>
  f(g(a));

const t = tuple(tuple(1)(true))("x")

const x = second(first(t))

const composeSecond = compose(second) // fails

const secondAfterFirst = composeSecond(first)

const y = secondAfterFirst(t)

Falla compose(second) con:

const second: ([, b]: [unknown, B]) => B El argumento de tipo '([, b]: [unknown, B]) => B' no es asignable al parámetro de tipo 'F'. Los tipos de los parámetros '__0' y 'a' son incompatibles. Tipo 'unknown' no es asignable al tipo '[unknown, unknown]'.