Comment by gaius

Can we please just do Hindley-Milner? They knew all this stuff in the 1970s...