The confusion is that the pattern-matching for append, i.e. (.++), is done infix style:

Empty .++ ys = ys
(x :-: xs) .++ ys = x :-: (xs .++ ys)

This defines (.++).

It doesn't define (:-:).

The definition of (.++) pattern matches on (:-:) in (.++)-infix style to do the job.