 Metric exponential candidate

For bounded metric spaces $X,Y$, let $[X,Y]$ be the set of non-expansive maps and defineWhenever $\bar{d}$ satisfies the triangle inequality, it is a metric and makes $[X,-]$ right adjoint to $-\times X$ in ${\mathbf{Met}}_b$.