[johnfn]

Couldn’t that problem be solved with static typechecking?

[bojan]

In a yaml file? I don't think so.