I didn't say they aren't necessary, rather that the idea was already used in PL/8 during the 70's, a type safe safe systems programming language.

https://courses.physics.illinois.edu/cs426/fa2017/Papers/pl8...

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.4...