it's the type of mutable state that @djspiewak talks about. this is a crude approximation with the Option, but maybe this is the way to make our intermediate representation carry the information we need?

I have no idea how else to get to this data