Type error. Both parameters of merge must be lists. A->head is not a list.
A and B are constant lists. They cannot be changed.
Type error. Expression 'A->tail = B->head' tries to set a variable of type List equal to an integer.