Comment by sideeffffect

> pretend that dynamically typed languages have no types whatsoever

Indeed, everybody knows they have just one type (:

https://www.google.com/search?q=%22dynamic%22+programming+la...

https://cs.stackexchange.com/questions/63533/untyped-vs-unit...

https://semantic-domain.blogspot.com/2022/01/static-typing-v...