It feels like a lot of such constraints should be possible already in some languages...