Empty set interacts poorly with type deduction. Removed.