[jppittma]

That's kinda cool. I bet you could take that to the next step and allow arbitrary code for validation of types/arguments at compile time.

[majewsky]

If you're interested to learn more in whatever language, the relevant search term is "refinement type": https://en.wikipedia.org/wiki/Refinement_type