effectfully

> hmm, we improved this a bit recently: https://github.com/input-output-hk/plutus/commit/35f6773c6ba8394345000b57e9bf149d092347a1#diff-cb4fae72ab44c8b348c3d0f7dc80d29cc4f3c63805870ab6836ce435caece150R204 Seems like the issue was addressed, so I'm closing the ticket. @phadej please reopen if you still experience the issue.

I've removed the `bug` label, because since 2021 we've done a lot to reduce the size of the compiled scripts. We do however recognize that sizes are still far from...

... actually, five minutes later I've found [another](https://github.com/input-output-hk/plutus/issues/4174) issue that is about script sizes and has more discussion and up-to-date information, so I'm going to make that one have the...

> close this one after we create two tests out of @christianschmitz's snippet. The tests were added in #5394, both the cases compile as efficiently as possible when optimizations are...

> We will probably try and move the whole Cardano stack to 9.2 after Vasil, though. That has happened, plus we just killed the whole `ErrorCode` thing, thus closing.

We could Church-encode `TokenType` at the type-level, but it's not trivial and since resorting to standalone data types is a tolerable workaround, I doubt anybody's going to be working on...

^ `Data.Fixed` is another use case.

@michaelpj this issue has been open for quite a while and given the previous comments it doesn't seem like we're going to change the behavior? In that case, please close...

Is this resolved now?

This is being worked on. The action that is needed from the team is figuring out if we want to split the universe into a type-level one and a term-level...