Autoevaluacion de tipos algebraicos