Exactly, you get a tangle of objects and data that's impossible to reason about, and isn't made explicit in the types.