...

but it would be interesting if this worked:

[x, y, z] ++ zs = list

this works in Curry; a functional-logic PL, very roughly: Prolog semantics (in a sane way) with Haskell syntax and typing https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ - J.W.