Tipagem para o Let Rec pronta