type A = { t: T, k: K, }; type X = { a: A, }; export {X};