>> 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.