A `append` B = C