Row Polymorphism, Subtyping, and Information Loss
dev.to