Type Alias: InferParent<A>

type InferParent<A> = A extends Type<any, any, any, any, infer Parent, any> ? Parent : never;