Payasada de inferencia de tipos