API docs for util.existential