Peter Dragos

For instance: ``` ghci> PlutusTx.List.head [] *** Exception: This must be replaced by the core-to-plc plugin during compilation: error CallStack (from HasCallStack): error, called at src/PlutusTx/Utils.hs:7:26 in plutus-tx-0.1.0.0-GXa9MFQdTJXE2N8Rh6GuAc:PlutusTx.Utils ```

[Related discussion](https://github.com/input-output-hk/cardano-ledger/issues/2941). Can we please prioritize this? We're [having to write these checkers ourselves](https://github.com/Liqwid-Labs/plutarch-context-builder/blob/a0ddebdc1153d68a71533e6afb5e17dd4cda499a/src/Plutarch/Context/Check.hs) because these types are insufficient for their purpose. If there's a genuine engineering reason why these...

Thanks for your response, Marty. > We do not take the responsibility of ensuring invariants. This is the responsibility of the developer. I'd like to know whether this statement marks...

@Unisay, just want to re-iterate that #5880 won't improve the situation in the same way that #3618 didn't fix it (unless something else has changed in plutus-tx that im not...