Adding existential type to top of file