Quelle partie de Hindley-Milner ne comprenez-vous pas?

Je jure qu'il y avait un T-shirt à vendre avec les mots immortels: Quelle partie de tu ne comprends pas ? Dans mon cas, la réponse serait ... tout! En particulier, je vois souvent une notation comme celle-ci dans les articles de Haskell, mais je n'ai aucune idée de ce que cela signifie. Je n'ai...