Kevin Hammond

You need the coin selection algorithm to be working well for this to happen. There are edge cases where you need to select inputs with specific tokens from different UTxOs,...

Seems reasonable. What’s the time period for 10k slots?

I’d be inclined to do both. A type can always be eliminated in an implementation if it’s known to always be satisfied by the type checker. This avoids issued if...

I suspect this won't be specific to 1.35.4 (the state might be a little smaller in 1.35.3)? If you're using `unsigned` for indexing you can get to 4GB presumably