effectfully

> We will need to decide what to do with the spec and metatheory regarding the types of builtins I think types aren't complicated? You just add `->` to the...

/benchmark plutus-benchmark:nofib

/benchmark plutus-benchmark:lists

+3% on average on the builtins-heavy `nofib` benchmarks. Not too bad I guess and maybe I could squeeze some performance out of it.

@michaelpj seems like I forgot to hit "comment" last time I wrote a response to your latest comment. Here's another attempt. > Is the "real" answer here that we can...

/benchmark plutus-benchmark:lists

/benchmark plutus-benchmark:lists

/benchmark plutus-benchmark:lists

/benchmark plutus-benchmark:lists

> I don't think we actually want type-case, So do I, hence this proposal. > I would not be confident that someone won't turn up in a year or two...