it's a spectrum, of course, but imo yes -- i don't want types to be opt-in at compile time, i want them to be mandatory