Exists operator and generic base