appendAll sequences a group of two aggregate types in order