Generate correct arbitrary empty lists