Can one flatten a statically typed list?

What would be the type of a heterogeneously nested list? Once again, I (inadvertently) managed to start a discussion on Twitter about static versus dynamic typing. I've touched on the topic before, but my agenda is not to fan any flames - quite the contrary.