Type Alias: InferParent<A>

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