Indeed, it’s clearly a nicer solution! Thanks for bringing it up.

In particular, it’s nice that it completely removes all “decision” from the runtime to transfer it to the compile time…