effectfully

This issue is for me to track builtins-related work, I don't see what keeping it open conveys, so I'm going to close it for the sake of keeping the number...

I'm cleaning up tickets, @abailly-iohk does the problem described in this ticket still persist or can we close the ticket?

An update: at some point we've realized that this point from the original message: > `PlutusTx.Builtins.Internal` has specialized variants, and these don't seem right. (Why use `BuiltinFun` when `Constant` would...

There's now a [CIP](https://github.com/cardano-foundation/CIPs/pull/459) for this discussion, hence I'm closing the ticket. Feel free to reopen if you disagree.

> We will produce a document about this in due course, but other things are currently taking priority. @kwxm is there such a document now? Is it accurate regarding what...

OK, it sounds like this is not being considered high priority at the moment. I'm therefore adding the respective label.

> Currently trace can dump only `Text` values. That is very limiting. Allowing to dump arbitrary values (including `Data`) @zliu41 @michaelpj given #4777 our current answer seems to be "won't...

Great, thanks a lot.

Previous discussion from #4414 (closed as duplicate even though it's older. Sorry @jmchapman! I didn't realize there was a ticket already when I created this one). @jmchapman: > ### Describe...

@mjaskelioff fantastic, thanks a lot! Since this ticket is just for settling on the syntax, I'm closing it as done. For the implementation we have #5064.