<p>If you squint _really_ hard you can even say Zuse had (one of) the first written accounts of a kind of algebraic data structure, though he most certainly did not have the language to describe his constructions as such. No, rather, where did the connection between types as structure and the layout of bits in storage really come from?</p>