Literally every single program you ever created has needed types? I've probably written 100s of tiny little utility programs that are a couple of lines at most

Literally every single program you ever created has needed types? I've probably written 100s of tiny little utility programs that are a couple of lines at most, and wouldn't need types for any of those, it would just add extra verbosity for no gain.