Our actual struggle with statically typed languages is how we will atomize every piece of data into the smallest indivisible type, but then have no means to compose it back together. Or if you can compose it back together, you can't decompose or reshape it later.