Q: When you say one can assume that the first and third arguments are fixed sized lists, does that mean, we can assume they have length 1 or three or some other fixed size?
A: No. Definitely not. It means you can assume that the lists do not have variable size, For instance, your code doesn't have to be well-behaved if someone types
mingle(X,Y,Z).