This can use `NSStringFromProtocol()`.