Array<T>型のT型を動的に取得する事はできるでしょうか？

Question

interface AAAA {
  [key: string] : Array<string> | Array<boolean>;
}

type BBBB<T> = {
  [P in keyof T]: string | boolean
}

function func<T extends AAAA>(input : T): BBBB<T> {
     :
}

const result = func({
  str: ["aa"],
  bol: [true],
});

上記のように定義した時funcの戻り値BBBB型は以下のようになります

{
    str: string | boolean,
    bol: string | boolean,
}

これをAAAA型のArray<T>のT型部分を動的に取得して以下のようにする事は可能でしょうか？

{
    str: string,  // Array<string>なのでstring型にしたい
    bol: boolean,  // Array<boolean>なのでboolean型にしたい
}

Answer 1

これでどうでしょうか

type BBBB<T> = {
  [P in keyof T]: T[P] extends Array<infer X> ? X : never
}

Comments

[fijino]

true/falseの場合boolean型ではなくtrue型/false型になってしまったので
ご回答を参考に以下のようにする事で解決できました

[P in keyof T]: T[P] extends Array<string> ? string : boolean

数日調べてもわからず諦めていたので大変助かりました！！！
inferの理解がまだ曖昧なので後は自分で調べて理解しようと思います
ご回答ありがとうございます