Simple static typing is not, actually, static code is easier to write than dynamic in many cases.

Powerful typing system, like the one Scala or Haskell have, is brutal as much as it is magical.