type C = { new <>(a: A, b: B): string }