In practice, the overwhelming majority of tests I see in dynamic languages are just checking things that get statically checked in a language with a good algebr

In practice, the overwhelming majority of tests I see in dynamic languages are just checking things that get statically checked in a language with a good algebraic type system (e.g. Typescript, Rust, Haskell, etc.)