PlutusTx.Builtins.unsafeUncons can use single branch version of builtin list casing . Currently it's just using PlutusTx.Builtins.head and PlutusTx.Builtins.tail which is less efficient.

One can add this to PlutusTx.Builtins.Internal and add corresponding definition to PlutusTx.Compiler.Builtins. See how matchList' is done there for the reference.