These are good examples. Especially for a lower level languages this makes a lot of sense. For higher level languages, I would imagine typeguards would provide

These are good examples. Especially for a lower level languages this makes a lot of sense. For higher level languages, I would imagine typeguards would provide some of the desired functionality here, while being much more lightweight than a full alternative conditional syntax.