What part of Hindley-Milner do you not understand?

I swear there used to be a T-shirt for sale featuring the immortal words: What part of do you not understand? In my case, the answer would be… all of it! In particular, I often see notation like this in Haskell papers, but I have no clue what any of it means. I have no … Read more