Guia de inferência de tipos com valores de proxy
