When I look for cartesian closed monads, I only find monads where the endofunctor preserves the cartesian structure of a cartesian closed category
$$ \operatorname T\ (a \times b) = (\operatorname T\ a) \times (\operatorname T\ b). $$
Are there any monads that also preserve the closed structure of a cartesian closed category, so that
$$ \operatorname T\ (a^b) = (\operatorname T\ a) ^{\operatorname T\ b}, $$
where $a^b$ denotes the exponential object of $a$ and $b$ in the category?
