Integrating exponential types