I use statically typed languages. There's benefits.

There's also benefits to dynamically typed languages, namely runtime metaprogramming.

Dynamic typing + type annotations is the worst of both worlds for questionable benefit.