Links for understanding type theory notation:
https://stackoverflow.com/questions/12532552/what-part-of-hindley-milner-do-you-not-understand
https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation
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…
a Schelling point for those who seek one