Auto Evaluación de tipos algebraicos