Static AND Dynamic Typing?

Is it possible to create a language where it's statically typed (preferably with inference) by default, but can drop to dynamic typing for bits where you need it. I seem to remember someone saying this wouldn't work. Can anyone explain why?

and for simple collections (i.e. ones that don't operate on the "leaves" of the structure)
Please could you explain further?