Infer: Extracted makeTypeRef