Type Alias: InferType<A>

type InferType<A> = A extends Type<any, infer T, any, any, any, any> ? T : never;