Hello, I'm trying to define a Record which keys musy be one of the limited possible values. I've managed to get this almost working with a Literal enum as key. The remaining problem is that now the struct require all keys to be define. If I define 3 prossible key values want a Record with only one value with one of the allowed key to be valid. How can I achieve this ?