adamc@82: con c = [A = ()] ++ [A = ()]