Parece que has encontrado alguna errata en "Nace el inventor de ML, quien compartió crédito en el método HindleyMilner de inferencia de tipo polimórfica, Robin Milner". De ser así, estás en el lugar indicado.
Explícame a continuación, dónde se encuentra el error, y lo solucionaré en la mayor brevedad posible.