First step in compiling [concat]: the trivial cases.