Sistemas de Inferencia En haskell no es obligatorio declarar el tipo de las expresiones. Haskell declara el tipo de alguna expresión, el sistema chequea.