Row Polymorphism Isn’t Subtyping - BAM Weblog https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping