Definitely learn Haskell if you want to get a look at a very strongly-typed language. It's also a pure lazy functional language, which is great for broadening the horizons (not many functional languages are as obsessively pure as Haskell).
Sure, the typing system can get really irritating at times, but after a while I found it very useful for catching bugs at compile time instead of runtime - if the types don't match, often it means you're attempting to do something that you shouldn't be doing.
If you are going to learn Haskell though, make sure you learn about monads. They're absolutely invaluable.