83. Copy link Damas-Hindley-Milner inference two ways bernsteinbear.com/blog/type-inference plt,programming