Adding row polymorphism to Damas-Hindley-Milner

https://bernsteinbear.com/blog/row-poly/