P.S. Another way to think of it is, "x"++Tail is syntactic sugar for [$x|Tail]. But Head++"y" is not expressible with the [ | ] syntax; we'd need to add ++ as new semantics. Darius