Row Polymorphism, Subtyping, and Information Loss | Dark Hacker News