Type Alias: InferName<A>

type InferName<A> = A extends Type<infer Name, any, any, any, any, any> ? Name : never;