B bernsteinbear.com Adding row polymorphism to Damas-Hindley-Milner 211 points surprisetalk 2 years ago 56 comments