In most situations like this, a tag union would probably be a good solution. [context](https://roc.zulipchat.com/#narrow/channel/231634-beginners/topic/Why.20no.20syntax.20for.20extending.20records/near/506548582)