Strong Typing and Dynamic

I've been dabbling in Haskell, which is a strongly typed functional language. Having come back to strong typing after suffering through it before getting into scripting, what I'm learning is that strict typing has its place. It's useful in an OO environment, where you want to assure that your parameters are of the right type. In OO languages and Haskell, types are used to dispatch the right code. On the other hand, strong types are painful when you're implementing generic data structures (like lists and arrays) and when you're manipulating basic data types like strings, numbers, and ints.