What, to you, is an ultra strong type system? Both OCaml and Haskell are used in plenty of non academic contexts. Do you mean something like Coq or F*?
You don't see many GAFAM products created in either, and that's because of the trade off OP talks about.
Rust is an example where a stronger type system has an associated payoff and it's being used all over.