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
a Schelling point for those who seek one
