Add example code with existentials