This text reminds me of row polymorphism in OCaml object system. Or maybe I got it all wrong.