Exponential types