They truly and tangibly help somewhat but people give them too much credit.

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