You can use substitution on some exponential types as in this example.

Example: