> I think what you describe is called "extensible records". From what I read, gp only asks for a way to express the type, not a way to change/extend the type o

> I think what you describe is called "extensible records". From what I read, gp only asks for a way to express the type, not a way to change/extend the type of something during runtime. Elm's current implementation does this just fine.