Replace existential session manager with concrete data type