renamed continuation for clarity
renamed Empty to None