After learning Haskell, I'm not sure what the benefits of dynamic typing are anymore.