[staticassertion]

Yeah, that's pretty different. That's still the programmer having to think about types as a separate entity or a runtime construct.