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