So, an update, I took at stab and came up with this: https://inerte.github.io/sigil/articles/labelled-types-and-b...