No, they are not needed anywhere. Anything you can write, you can write in an untyped language.

That's a pretty strict definition of "need", though. There are many situations where types can help, even if they aren't absolutely needed.