effectfully

@michaelpj any idea on how to move this forward? Should we get Jared or someone else involved? Should someone come up with a list of assumptions one is allowed to...

I believe we need an objective on coming up with a process to figure out 1. what kinds of things are there to stay (see also the discussion in #4509)...

> It appears that every Value on chain (i.e., in a UTXO, mint result, etc.) has an Ada field (whether there are Ada or not). Yes, see #5039 for more...

> Is it possible for any other asset classes to be present in a Value on chain with quantity 0? The answer is "no". From what I was able to...

I'm annoyed by the problem and want to keep the issue open until we come to the conclusion that we don't care.

> I'm annoyed by the problem and want to keep the issue open until we come to the conclusion that we don't care. I now have a task on writing...

@Renegatto thank you very much for the report. I'm not seeing a bug here. > But manually `Value` can be constructed in such way that it fails semigroup assosciativy: >...

@michaelpj has something changed since the issue was opened? Does `-fexpose-all-unfoldings` now help us alleviate the problem? Is there anything we could do here?

> I don't know of a way to improve the current situation. My best ideas all involve substantial rework of the entire system :( I see. So this is something...

Such requests should go through the CIP route, hence I'm closing the issue.