[pjmlp]

Agreed, the only way to enforce something is to make part of the type system, and that is how we land on C folks complaining about straightjacket programming languages.

[Koshkin]

NB straitjacket. (The word "strait", in this context, means "confinement".)