83.

Damas-Hindley-Milner inference two ways

bernsteinbear.com/blog/type-inference
plt,programming