Partial​Type​Signatures